| Mon, 28 Oct 2002 14:30:37 +0100 | nipkow | *** empty log message *** | changeset | files |
| Mon, 28 Oct 2002 14:29:51 +0100 | nipkow | conversion ML -> thy | changeset | files |
| Sun, 27 Oct 2002 23:34:02 +0100 | kleing | simplified lemma correct_frames_newref | changeset | files |
| Sat, 26 Oct 2002 13:05:27 +0200 | isatest | switched to atbroy51, removed markus from email list | changeset | files |
| Fri, 25 Oct 2002 10:47:47 +0200 | kleing | fixed latex output | changeset | files |
| Thu, 24 Oct 2002 12:08:33 +0200 | kleing | changes for cleanup in JVM | changeset | files |
| Thu, 24 Oct 2002 12:07:31 +0200 | kleing | cleanup, beautified | changeset | files |