| Tue, 23 Feb 2010 17:33:03 +0100 |
hoelzl |
Moved old Integration to examples.
|
changeset |
files
|
| Tue, 23 Feb 2010 16:58:21 +0100 |
bulwahn |
merged
|
changeset |
files
|
| Tue, 23 Feb 2010 14:00:36 +0100 |
bulwahn |
merged
|
changeset |
files
|
| Tue, 23 Feb 2010 13:57:51 +0100 |
bulwahn |
adding ROOT.ML to HOL-Mutabelle session; uncommenting HOL.induct constants in Mutabelle session
|
changeset |
files
|
| Tue, 23 Feb 2010 13:36:15 +0100 |
bulwahn |
adopting mutabelle and quickcheck to return timing information; exporting make_case_combs in datatype package for predicate compiler; adding Spec_Rules declaration for tail recursive functions; improving the predicate compiler and function flattening
|
changeset |
files
|
| Tue, 23 Feb 2010 15:20:19 +0100 |
boehmes |
separated narrowing timeouts for intermediate and final steps
|
changeset |
files
|
| Tue, 23 Feb 2010 14:13:14 +0100 |
haftmann |
merged
|
changeset |
files
|
| Tue, 23 Feb 2010 14:11:32 +0100 |
haftmann |
merged
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:49 +0100 |
haftmann |
dropped axclass; dropped Id; session theory Hoare.thy
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:31 +0100 |
haftmann |
dropped session W0; c.f. MiniML in AFP
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:16 +0100 |
haftmann |
dropped axclass, going back to purely syntactic type classes
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:15 +0100 |
haftmann |
dropped axclass; dropped Id
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:15 +0100 |
haftmann |
dropped axclass; dropped Id; session theory Hoare.thy
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:12 +0100 |
haftmann |
dropped axclass
|
changeset |
files
|
| Tue, 23 Feb 2010 14:11:46 +0100 |
Cezary Kaliszyk |
export prs_rules and rsp_rules attributes
|
changeset |
files
|
| Tue, 23 Feb 2010 12:14:46 +0100 |
blanchet |
merge
|
changeset |
files
|
| Tue, 23 Feb 2010 12:14:29 +0100 |
blanchet |
improved precision of small sets in Nitpick
|
changeset |
files
|
| Tue, 23 Feb 2010 11:05:32 +0100 |
blanchet |
improved Nitpick's support for quotient types
|
changeset |
files
|
| Tue, 23 Feb 2010 12:02:32 +0100 |
hoelzl |
Forgot to check NSA in changeset e4a431b6d9b7 ; Removed import of Integration
|
changeset |
files
|
| Tue, 23 Feb 2010 10:02:14 +0100 |
blanchet |
catch IO errors in Nitpick's "kodkodi" invocation + shorten execution time of "Manual_Nits" example
|
changeset |
files
|
| Tue, 23 Feb 2010 08:08:23 +0100 |
haftmann |
mind the "s"
|
changeset |
files
|
| Tue, 23 Feb 2010 08:04:07 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 16:03:48 +0100 |
haftmann |
NEWS
|
changeset |
files
|
| Mon, 22 Feb 2010 16:03:44 +0100 |
haftmann |
added missing separator
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:19 +0100 |
haftmann |
more accurate when registering new types
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:18 +0100 |
haftmann |
added Dlist
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:18 +0100 |
haftmann |
tuned text
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:18 +0100 |
haftmann |
distributed theory Algebras to theories Groups and Lattices
|
changeset |
files
|
| Mon, 22 Feb 2010 11:13:30 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 11:10:20 +0100 |
haftmann |
proper distinction of code datatypes and abstypes
|
changeset |
files
|