Revision as of 13:44, 11 May 2014 edit Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →Example: added note to explain axiom to non-mathematician programmers ← Previous edit		Revision as of 13:44, 11 May 2014 edit undo Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →References: notes ((reflist)) Next edit →
Line 32: ==References== {{Reflist}} {{reflist group=note}} [[Category:Specification languages]]

Uninterpreted function: Difference between revisions