| Wed, 17 Oct 2007 23:16:30 +0200 | wenzelm | removed unused set_policy; | changeset | files |
| Wed, 17 Oct 2007 23:16:28 +0200 | wenzelm | replaced NameSpace.accesses' by NameSpace.external_names (depening on naming); | changeset | files |
| Wed, 17 Oct 2007 18:09:38 +0200 | nipkow | added sorted_list_of_set | changeset | files |
| Wed, 17 Oct 2007 13:55:38 +0200 | wenzelm | tuned fork_mixfix (back from class.ML); | changeset | files |
| Wed, 17 Oct 2007 13:55:37 +0200 | wenzelm | clarified naming conventions of 'parse' and 'check' (as opposed to former 'cert'); | changeset | files |
| Wed, 17 Oct 2007 13:55:35 +0200 | wenzelm | removed obsolete fork_mixfix (back to theory_target.ML); | changeset | files |