| Thu, 31 Mar 2005 00:10:35 +0200 | huffman | changed comments to text blocks, cleaned up a few proofs | changeset | files |
| Wed, 30 Mar 2005 08:33:41 +0200 | paulson | converted from DOS to UNIX format | changeset | files |
| Tue, 29 Mar 2005 12:30:48 +0200 | paulson | converted HOL-Subst to tactic scripts | changeset | files |
| Mon, 28 Mar 2005 16:19:56 +0200 | paulson | conversion of UNITY to Isar scripts | changeset | files |
| Sat, 26 Mar 2005 18:20:29 +0100 | paulson | new display of theory stamps | changeset | files |
| Sat, 26 Mar 2005 16:14:17 +0100 | gagern | op vor infix-Konstruktoren im datatype binding zum besseren Parsen | changeset | files |
| Sat, 26 Mar 2005 00:01:56 +0100 | kleing | use Library/Multiset instead of own definition | changeset | files |