| Wed, 15 Sep 2010 16:19:49 +0200 |
blanchet |
remove needless file for us
|
changeset |
files
|
| Wed, 15 Sep 2010 16:17:05 +0200 |
blanchet |
got rid of three crude regexps from "make_metis"
|
changeset |
files
|
| Wed, 15 Sep 2010 16:16:33 +0200 |
blanchet |
more Isabelle-specific changes
|
changeset |
files
|
| Wed, 15 Sep 2010 15:49:43 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Wed, 15 Sep 2010 15:49:21 +0200 |
blanchet |
rename
|
changeset |
files
|
| Wed, 15 Sep 2010 15:48:52 +0200 |
blanchet |
use "Metis_" prefix rather than "Metis" structure;
|
changeset |
files
|
| Wed, 15 Sep 2010 15:44:44 +0200 |
blanchet |
no need for TPTP
|
changeset |
files
|
| Wed, 15 Sep 2010 15:44:24 +0200 |
blanchet |
put "foldl" and "foldr" in "Useful";
|
changeset |
files
|
| Wed, 15 Sep 2010 15:15:49 +0200 |
blanchet |
reintroduce the CRITICAL sections from change 3880d21d6013
|
changeset |
files
|
| Wed, 15 Sep 2010 14:24:29 +0200 |
blanchet |
apply Larry's hacks directly to the "src" files;
|
changeset |
files
|
| Wed, 15 Sep 2010 11:47:25 +0200 |
blanchet |
"FILES" is not (anymore?) part of the official Metis sources, so move it up
|
changeset |
files
|
| Wed, 15 Sep 2010 16:35:49 +0200 |
wenzelm |
merged
|
changeset |
files
|