Wed, 06 Dec 2006 01:12:57 +0100 | wenzelm | simplified ML bindings; | changeset | files |
Wed, 06 Dec 2006 01:12:56 +0100 | wenzelm | simplified ML bindings -- moved to HOL.thy; | changeset | files |
Wed, 06 Dec 2006 01:12:51 +0100 | wenzelm | added basic ML bindings; | changeset | files |