| 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 |
| Mon, 19 Oct 2009 23:02:23 +0200 | wenzelm | eliminated duplicate fold1 -- beware of argument order! | changeset | files |
| Mon, 19 Oct 2009 21:54:57 +0200 | wenzelm | uniform use of Integer.add/mult/sum/prod; | changeset | files |
| Mon, 19 Oct 2009 16:47:21 +0200 | berghofe | Removed dead code in function mk_deftab. | changeset | files |