Fri, 27 Jan 2006 19:03:16 +0100 | wenzelm | swapped Toplevel.theory_context; | changeset | files |
Fri, 27 Jan 2006 19:03:15 +0100 | wenzelm | added invent_fixes; | changeset | files |
Fri, 27 Jan 2006 19:03:14 +0100 | wenzelm | swapped Toplevel.theory_context; | changeset | files |