Wed, 02 Jul 2008 16:40:20 +0200 | wenzelm | init_theory: pass name explicitly; | changeset | files |
Wed, 02 Jul 2008 16:40:18 +0200 | wenzelm | replaced datatype category constructivism by is_theory/is_proof; | changeset | files |
Wed, 02 Jul 2008 16:40:17 +0200 | wenzelm | Toplevel.init_theory: pass name explicitly; | changeset | files |