Mon, 22 May 2006 22:29:16 +0200 | wenzelm | pretty_full_theory: defs; | changeset | files |
Mon, 22 May 2006 22:29:15 +0200 | wenzelm | specifications_of: lhs/rhs represented as typargs; | changeset | files |
Mon, 22 May 2006 21:27:01 +0200 | wenzelm | export raw_unifys, could_unifys; | changeset | files |