| Sat, 17 Feb 2007 17:19:59 +0100 | aspinall | pretty_full_theory: expose in signature. | changeset | files |
| Sat, 17 Feb 2007 17:18:47 +0100 | aspinall | Clarify comment | changeset | files |
| Fri, 16 Feb 2007 22:46:03 +0100 | wenzelm | unified arity parser/arguments; | changeset | files |
| Fri, 16 Feb 2007 22:13:16 +0100 | wenzelm | ML text: informative Output.debug only; | changeset | files |
| Fri, 16 Feb 2007 22:13:15 +0100 | wenzelm | unified arity parser/arguments; | changeset | files |
| Fri, 16 Feb 2007 19:19:19 +0100 | berghofe | Replaced "raise RecError" by "primrec_err" in function | changeset | files |
| Fri, 16 Feb 2007 11:01:16 +0100 | schirmer | added example for print-mode Axiom | changeset | files |