| Wed, 28 Oct 2009 17:43:43 +0100 |
blanchet |
introduced Auto Nitpick in addition to Auto Quickcheck;
|
file |
diff |
annotate
|
| Mon, 09 Nov 2009 15:50:15 +0000 |
paulson |
New theory Probability/Borel.thy, and some associated lemmas
|
file |
diff |
annotate
|
| Fri, 06 Nov 2009 14:42:42 +0100 |
krauss |
renamed method induct_scheme to induction_schema
|
file |
diff |
annotate
|
| Fri, 06 Nov 2009 13:42:29 +0100 |
krauss |
removed session SizeChange: outdated, only half-functional, alternatives exist (cf. size_change method)
|
file |
diff |
annotate
|
| Thu, 05 Nov 2009 16:23:51 +0100 |
wenzelm |
more accurate cleanup;
|
file |
diff |
annotate
|
| Thu, 05 Nov 2009 15:55:07 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Thu, 05 Nov 2009 15:54:14 +0100 |
wenzelm |
more accurate dependencies;
|
file |
diff |
annotate
|
| Thu, 05 Nov 2009 15:44:39 +0100 |
boehmes |
merged
|
file |
diff |
annotate
|
| Thu, 05 Nov 2009 15:24:49 +0100 |
boehmes |
handle let expressions inside terms by unfolding (instead of raising an exception),
|
file |
diff |
annotate
|
| Thu, 05 Nov 2009 14:48:40 +0100 |
boehmes |
shorter names for variables and verification conditions,
|
file |
diff |
annotate
|
| Thu, 05 Nov 2009 14:37:39 +0100 |
wenzelm |
more accurate dependencies;
|
file |
diff |
annotate
|
| Wed, 04 Nov 2009 17:17:30 +0100 |
krauss |
added Tree23 to IsaMakefile
|
file |
diff |
annotate
|
| Tue, 03 Nov 2009 17:54:24 +0100 |
boehmes |
added HOL-Boogie
|
file |
diff |
annotate
|
| Fri, 30 Oct 2009 13:59:49 +0100 |
haftmann |
moved Commutative_Ring into session Decision_Procs
|
file |
diff |
annotate
|
| Fri, 30 Oct 2009 01:32:06 +0100 |
krauss |
absorbed inductive_wrap function into Function_Core; more conventional argument order; tuned
|
file |
diff |
annotate
|