Revision as of 21:27, 25 February 2011 edit Ruud Koot (talk \| contribs) 31,416 edits rm dab link ← Previous edit		Revision as of 15:32, 13 March 2013 edit undo Addbot (talk \| contribs) Bots 2,838,809 edits m Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q7072323 Next edit →
Line 25: [[Category:Formal specification languages]] [[Category:Theorem proving software systems]] ~~[[el:OBJ]]~~

OBJ (programming language): Difference between revisions