Fri, 27 Nov 1998 17:00:30 +0100 |
nipkow |
At last: linear arithmetic for nat!
|
file |
diff |
annotate
|
Wed, 23 Sep 1998 10:03:32 +0200 |
paulson |
deleted needless parentheses
|
file |
diff |
annotate
|
Tue, 15 Sep 1998 15:10:38 +0200 |
paulson |
From Compl(A) to -A
|
file |
diff |
annotate
|
Fri, 11 Sep 1998 16:25:40 +0200 |
paulson |
fixed PROOF FAILED
|
file |
diff |
annotate
|
Tue, 08 Sep 1998 15:17:11 +0200 |
paulson |
Got rid of not_Says_to_self and most uses of ~= in definitions and theorems
|
file |
diff |
annotate
|
Wed, 02 Sep 1998 10:35:11 +0200 |
paulson |
small simplification to not_Says_to_self
|
file |
diff |
annotate
|
Fri, 21 Aug 1998 16:14:34 +0200 |
paulson |
Tidying
|
file |
diff |
annotate
|
Thu, 20 Aug 1998 16:37:18 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
Fri, 31 Jul 1998 10:48:42 +0200 |
paulson |
Removal of obsolete "open" commands from heads of .ML files
|
file |
diff |
annotate
|
Thu, 02 Jul 1998 17:48:11 +0200 |
paulson |
Deleted leading parameters thanks to new Goal command
|
file |
diff |
annotate
|
Wed, 24 Jun 1998 11:24:52 +0200 |
paulson |
Ran isatool fixgoal
|
file |
diff |
annotate
|
Mon, 22 Jun 1998 15:49:29 +0200 |
paulson |
simplified and tidied the proofs
|
file |
diff |
annotate
|
Fri, 19 Jun 1998 10:34:33 +0200 |
paulson |
New example Kerberos_BAN by G Bella
|
file |
diff |
annotate
|