| Fri, 27 Jan 2006 19:03:14 +0100 | wenzelm | swapped Toplevel.theory_context; | changeset | files |
| Fri, 27 Jan 2006 19:03:13 +0100 | wenzelm | renamed reverse_atomize to unatomize; | changeset | files |
| Fri, 27 Jan 2006 19:03:12 +0100 | wenzelm | init: include view; | changeset | files |