| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 02 Jun 2005 13:17:06 +0200 | paulson | renamed "constrains" to "safety" to avoid keyword clash | file | diff | annotate |
| Mon, 28 Mar 2005 16:19:56 +0200 | paulson | conversion of UNITY to Isar scripts | file | diff | annotate |
| Sun, 11 Jul 2004 20:33:22 +0200 | wenzelm | local_cla/simpset_of; | file | diff | annotate |
| Mon, 30 Jun 2003 18:15:51 +0200 | paulson | Removal of UNITY/UNITYMisc, moving its theorems elsewhere. | file | diff | annotate |
| Wed, 25 Jun 2003 13:17:26 +0200 | paulson | Conversion of UNITY/Distributor to Isar script. General tidy-up. | file | diff | annotate |
| Fri, 20 Jun 2003 18:13:16 +0200 | paulson | conversion of ClientImpl to Isar script | file | diff | annotate |
| Thu, 12 Jun 2003 16:40:59 +0200 | paulson | x-symbols (mostly) | file | diff | annotate |
| Thu, 29 May 2003 17:10:00 +0200 | paulson | Introduction of the theories UNITY/Merge, UNITY/ClientImpl | file | diff | annotate |