| Mon, 19 Apr 2004 00:45:50 +0200 | kleing | devel snapshot is now tested | changeset | files |
| Mon, 19 Apr 2004 00:00:05 +0200 | kleing | updated Tobias' address | changeset | files |
| Sat, 17 Apr 2004 23:55:58 +0200 | skalberg | Whoops, forgot a header... | changeset | files |
| 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 |
| Sat, 17 Apr 2004 16:24:36 +0200 | nipkow | Added case distinction proof pattern. | changeset | files |