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 |