Revision as of 09:57, 21 February 2015 edit Jochen Burghardt (talk \| contribs) Extended confirmed users 24,305 edits →References: not a ref. ← Previous edit		Revision as of 13:28, 30 May 2016 edit undo Ruud Koot (talk \| contribs) 31,416 edits added Category:Term-rewriting programming languages using HotCat Next edit →
Line 23: [[Category:Formal specification languages]] [[Category:Theorem proving software systems]] [[Category:Term-rewriting programming languages]] {{compu-lang-stub}}

OBJ (programming language): Difference between revisions