| Wed, 13 Jul 2005 15:06:20 +0200 |
paulson |
generlization of some "nat" theorems
|
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, 02 Aug 2004 10:15:37 +0200 |
ballarin |
Modifications for trancl_tac (new solver in simplifier).
|
file |
diff |
annotate
|
| Mon, 26 Jul 2004 15:48:50 +0200 |
ballarin |
New prover for transitive and reflexive-transitive closure of relations.
|
file |
diff |
annotate
|
| Fri, 15 Aug 2003 13:07:01 +0200 |
paulson |
A document for UNITY
|
file |
diff |
annotate
|
| Sat, 08 Feb 2003 16:05:33 +0100 |
paulson |
converting HOL/UNITY to use unconditional fairness
|
file |
diff |
annotate
|
| Wed, 05 Feb 2003 13:35:32 +0100 |
paulson |
more tidying
|
file |
diff |
annotate
|
| Fri, 24 Jan 2003 14:06:49 +0100 |
paulson |
Partial conversion of UNITY to Isar new-style theories
|
file |
diff |
annotate
|
| Sat, 01 Dec 2001 18:52:32 +0100 |
wenzelm |
renamed class "term" to "type" (actually "HOL.type");
|
file |
diff |
annotate
|
| Mon, 05 Mar 2001 15:47:11 +0100 |
paulson |
reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
|
file |
diff |
annotate
|