| Tue, 13 Mar 2012 22:49:02 +0100 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Sun, 20 Nov 2011 17:44:41 +0100 |
wenzelm |
'lemmas' / 'theorems' commands allow 'for' fixes and standardize the result before storing;
|
file |
diff |
annotate
|
| Sat, 23 Apr 2011 13:00:19 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Thu, 22 Jul 2010 18:08:39 +0200 |
wenzelm |
updated some headers;
|
file |
diff |
annotate
|
| Wed, 12 May 2010 16:44:49 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 13:40:23 +0100 |
haftmann |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Thu, 02 Jun 2005 13:47:08 +0200 |
paulson |
renamed "constrains" to "safety" to avoid keyword clash
|
file |
diff |
annotate
|
| Mon, 08 Nov 2004 16:53:50 +0100 |
paulson |
tidied comments
|
file |
diff |
annotate
|
| Thu, 03 Jul 2003 12:56:48 +0200 |
paulson |
converted Counter, Counterc and PriorityAux to Isar scripts (all HOL/UNITY/Comp)
|
file |
diff |
annotate
|
| Thu, 03 Jul 2003 10:37:25 +0200 |
paulson |
Conversion of UNITY/Comp/Priority.thy to a linear Isar script
|
file |
diff |
annotate
|
| Sat, 08 Feb 2003 16:05:33 +0100 |
paulson |
converting HOL/UNITY to use unconditional fairness
|
file |
diff |
annotate
|
| Thu, 30 Jan 2003 10:35:56 +0100 |
paulson |
converting more UNITY theories to new-style
|
file |
diff |
annotate
|
| Mon, 05 Mar 2001 15:32:54 +0100 |
paulson |
reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
|
file |
diff |
annotate
|