Sat, 08 Jul 2006 12:54:38 +0200 |
wenzelm |
avoid Force_tac, which uses a different context;
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
Fri, 10 Sep 2004 20:04:14 +0200 |
nipkow |
Added antisymmetry simproc
|
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, 03 Oct 2002 10:34:51 +0200 |
paulson |
added the new elim rule psubsetE
|
file |
diff |
annotate
|
Mon, 30 Sep 2002 16:14:02 +0200 |
berghofe |
Adapted to new simplifier.
|
file |
diff |
annotate
|
Thu, 30 May 2002 10:12:52 +0200 |
nipkow |
Modifications due to enhanced linear arithmetic.
|
file |
diff |
annotate
|
Tue, 05 Mar 2002 18:19:11 +0100 |
prensani |
New order in the loading of theories (Quote-antiquote right before the OG_Syntax and RG_Syntax respectively)
|
file |
diff |
annotate
|
Tue, 05 Mar 2002 17:11:25 +0100 |
prensani |
HoareParallel Theories
|
file |
diff |
annotate
|