| Sat, 30 Dec 2006 12:33:25 +0100 | wenzelm | removed obsolete clear_undos_theory; | changeset | files |
| Fri, 29 Dec 2006 20:35:03 +0100 | haftmann | major restructurings | changeset | files |
| Fri, 29 Dec 2006 20:35:02 +0100 | haftmann | cleanup | changeset | files |
| Fri, 29 Dec 2006 20:34:18 +0100 | haftmann | improved print of constructors in OCaml | changeset | files |
| Fri, 29 Dec 2006 20:34:17 +0100 | haftmann | changed syntax for axclass attach | changeset | files |
| Fri, 29 Dec 2006 19:50:52 +0100 | wenzelm | removed obsolete cond_add_path; | changeset | files |
| Fri, 29 Dec 2006 19:50:51 +0100 | wenzelm | removed obsolete context_thy etc.; | changeset | files |