| Sat, 17 Apr 2004 23:53:35 +0200 | skalberg | Minor cleanup of headers and some speedup of the HOL4 import. | changeset | files |
| Sat, 17 Apr 2004 20:04:23 +0200 | skalberg | Added documentation for ax_specification, as well as a small comparison of | changeset | files |
| Sat, 17 Apr 2004 17:08:53 +0200 | berghofe | Fixed bug in rmod that caused an overflow exception in SML/NJ. | changeset | files |