| Wed, 02 Jun 2010 14:40:15 +0200 |
blanchet |
kill another neg_clausify proof
|
file |
diff |
annotate
|
| Fri, 14 May 2010 22:30:24 +0200 |
blanchet |
renamed Sledgehammer options
|
file |
diff |
annotate
|
| Tue, 11 May 2010 19:21:05 +0200 |
hoelzl |
Removed usage of normalizating locales.
|
file |
diff |
annotate
|
| Fri, 07 May 2010 09:59:24 +0200 |
haftmann |
prefix normalizing replaces class_semiring
|
file |
diff |
annotate
|
| Thu, 29 Apr 2010 13:41:51 +0200 |
blanchet |
redo more Metis/Sledgehammer example
|
file |
diff |
annotate
|
| Wed, 28 Apr 2010 16:47:56 +0200 |
blanchet |
remove removed option
|
file |
diff |
annotate
|
| Mon, 26 Apr 2010 23:45:51 +0200 |
blanchet |
renamed option
|
file |
diff |
annotate
|
| Thu, 01 Apr 2010 10:54:21 +0200 |
blanchet |
adapt syntax of Sledgehammer options in examples
|
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
|
| Mon, 08 Feb 2010 17:12:38 +0100 |
haftmann |
renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields
|
file |
diff |
annotate
|
| Fri, 05 Feb 2010 14:33:50 +0100 |
haftmann |
more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 19:52:04 +0200 |
wenzelm |
modernized session Metis_Examples;
|
file |
diff |
annotate
| base
|