Sun, 21 May 2000 14:32:47 +0200 | wenzelm | added sort_of_term; | changeset | files |
Sun, 21 May 2000 14:31:41 +0200 | wenzelm | added read_sort; | changeset | files |
Sun, 21 May 2000 01:18:29 +0200 | wenzelm | *** empty log message *** | changeset | files |
Sun, 21 May 2000 01:17:12 +0200 | wenzelm | new stuff; | changeset | files |
Sun, 21 May 2000 01:16:54 +0200 | wenzelm | \urlstyle{rm}; | changeset | files |
Sun, 21 May 2000 01:12:00 +0200 | wenzelm | snapshot of new Isar'ized version; | changeset | files |
Sat, 20 May 2000 18:37:21 +0200 | nipkow | added lemma. | changeset | files |