Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
ported Decision_Procs to new datatypes
|
file |
diff |
annotate
|
Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
file |
diff |
annotate
|
Thu, 27 Feb 2014 21:31:58 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Tue, 25 Feb 2014 23:12:48 +0100 |
wenzelm |
tuned specifications and proofs;
|
file |
diff |
annotate
|
Sun, 18 Aug 2013 19:59:19 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Mon, 15 Jul 2013 11:29:19 +0200 |
wenzelm |
tuned specifications and proofs;
|
file |
diff |
annotate
|
Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
Thu, 12 Apr 2012 18:39:19 +0200 |
wenzelm |
more standard method setup;
|
file |
diff |
annotate
|
Mon, 21 Feb 2011 23:47:19 +0100 |
wenzelm |
tuned proofs -- eliminated prems;
|
file |
diff |
annotate
|
Sun, 24 Oct 2010 20:19:00 +0200 |
nipkow |
nat_number -> eval_nat_numeral
|
file |
diff |
annotate
|
Fri, 30 Oct 2009 13:59:49 +0100 |
haftmann |
moved Commutative_Ring into session Decision_Procs
|
file |
diff |
annotate
| base
|