| Sun, 30 Sep 2007 16:51:46 +0200 | isatest | fix shell quoting confusion | changeset | files |
| Sun, 30 Sep 2007 16:20:42 +0200 | wenzelm | local_theory transactions: more careful treatment of context position; | changeset | files |
| Sun, 30 Sep 2007 16:20:41 +0200 | wenzelm | keep context position as tags for consts/thms; | changeset | files |