Mon, 01 Oct 2007 15:14:51 +0200 | wenzelm | ML_setup for bind_thms; | changeset | files |
Mon, 01 Oct 2007 12:25:04 +0200 | ballarin | Simplified interface for printing of interpretations. | changeset | files |
Mon, 01 Oct 2007 12:24:45 +0200 | ballarin | unfold_locales workaround | changeset | files |