Fri, 20 Nov 2009 15:48:36 +0100 | wenzelm | provide standard isabelle make targets; | changeset | files |
Fri, 20 Nov 2009 15:34:11 +0100 | wenzelm | merged | changeset | files |
Fri, 20 Nov 2009 15:33:10 +0100 | wenzelm | load ML directly into theory Code_Generator (quickcheck also requires this); | changeset | files |