| Wed, 29 Dec 2010 17:34:41 +0100 |
wenzelm |
explicit file specifications -- avoid secondary load path;
|
file |
diff |
annotate
|
| Wed, 15 Dec 2010 11:26:28 +0100 |
blanchet |
example tuning
|
file |
diff |
annotate
|
| Thu, 09 Sep 2010 12:24:43 +0200 |
blanchet |
replace two slow "metis" proofs with faster proofs
|
file |
diff |
annotate
|
| Wed, 01 Sep 2010 00:07:31 +0200 |
blanchet |
rename sledgehammer config attributes
|
file |
diff |
annotate
|
| Fri, 20 Aug 2010 17:48:30 +0200 |
haftmann |
split and enriched theory SetsAndFunctions
|
file |
diff |
annotate
|
| 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
|