Mon, 01 Mar 2004 05:21:43 +0100 |
kleing |
union/intersection over intervals
|
file |
diff |
annotate
|
Thu, 19 Feb 2004 15:57:34 +0100 |
ballarin |
Efficient, graph-based reasoner for linear and partial orders.
|
file |
diff |
annotate
|
Thu, 06 Mar 2003 15:03:16 +0100 |
paulson |
new logical equivalences
|
file |
diff |
annotate
|
Thu, 28 Nov 2002 10:50:42 +0100 |
ballarin |
HOL-Algebra partially ported to Isar.
|
file |
diff |
annotate
|
Thu, 27 Sep 2001 22:28:16 +0200 |
wenzelm |
eliminated theories "equalities" and "mono" (made part of "Typedef",
|
file |
diff |
annotate
|
Fri, 13 Oct 2000 08:28:21 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Thu, 12 Oct 2000 18:38:23 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 24 May 2000 18:46:06 +0200 |
paulson |
added parent
|
file |
diff |
annotate
|
Tue, 23 May 2000 07:32:24 +0200 |
nipkow |
Added SetInterval
|
file |
diff |
annotate
|