Sun, 25 Oct 2009 19:17:42 +0100 | wenzelm | more direct access to naming; | changeset | files |
Sun, 25 Oct 2009 19:14:46 +0100 | wenzelm | Name_Space.naming: maintain group and theory_name as well; | changeset | files |
Sun, 25 Oct 2009 19:14:25 +0100 | wenzelm | export is_concealed; | changeset | files |
Sun, 25 Oct 2009 19:14:11 +0100 | wenzelm | merge_list: no exception DUP here; | changeset | files |
Sun, 25 Oct 2009 13:20:31 +0100 | wenzelm | merged | changeset | files |
Sun, 25 Oct 2009 13:14:00 +0100 | wenzelm | more uniform ISABELLE_USEDIR_OPTIONS; | changeset | files |