| 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 |
| Sat, 26 Mar 2005 00:00:56 +0100 | kleing | fixed typo (multiset_append) | changeset | files |
| Fri, 25 Mar 2005 17:47:11 +0100 | aspinall | Add askguise/informguise as best as easily possible. Prevent warning in openfile when file doesn't exist in theory database. | changeset | files |