Revision as of 19:28, 9 July 2007 edit Picaroon (talk \| contribs) 17,614 edits otheruses ← Previous edit		Revision as of 14:25, 25 November 2007 edit undo Cydebot (talk \| contribs) 6,812,251 edits m Robot - Moving category Theorem provers to Theorem proving software systems per CFD at Wikipedia:Categories for discussion/Log/2007 November 16. Next edit →
Line 20: {{FOLDOC}} {{compu-lang-stub}}▼ [[Category:Functional languages]] Line 25 ⟶ 27: [[Category:Programming languages]] [[Category:Formal specification languages]] [[Category:Theorem ~~provers~~proving software systems]] ▲{{compu-lang-stub}}

OBJ (programming language): Difference between revisions