| Tue, 20 Oct 2009 14:22:02 +0200 | boehmes | eliminated extraneous wrapping of public records, | changeset | files |
| Tue, 20 Oct 2009 12:06:17 +0200 | boehmes | proper exceptions instead of unhandled partiality | changeset | files |
| Tue, 20 Oct 2009 13:37:56 +0200 | nipkow | footnote: inv via inv_onto | changeset | files |
| Tue, 20 Oct 2009 13:20:42 +0200 | nipkow | added inv_def for compatibility as a lemma | changeset | files |
| Tue, 20 Oct 2009 11:36:19 +0200 | wenzelm | slightly less context-sensitive settings; | changeset | files |
| Tue, 20 Oct 2009 11:08:50 +0200 | wenzelm | merged | changeset | files |
| Tue, 20 Oct 2009 10:29:47 +0200 | boehmes | corrected paths to certificates, | changeset | files |
| Tue, 20 Oct 2009 10:11:30 +0200 | boehmes | added proof reconstructon for Z3, | changeset | files |
| Tue, 20 Oct 2009 10:46:42 +0200 | wenzelm | merged | changeset | files |
| Tue, 20 Oct 2009 08:10:47 +0200 | haftmann | merged | changeset | files |
| Tue, 20 Oct 2009 08:10:31 +0200 | haftmann | more accurate checkpoints | changeset | files |
| Mon, 19 Oct 2009 16:34:12 +0200 | haftmann | dropped lazy code equations | changeset | files |
| Mon, 19 Oct 2009 16:32:03 +0200 | haftmann | CONTRIBUTORS | changeset | files |
| Mon, 19 Oct 2009 23:02:56 +0200 | wenzelm | always qualify NJ's old List.foldl/foldr in Isabelle/ML; | changeset | files |