Fri, 05 Dec 2008 18:15:52 +0100 | wenzelm | uniform treatment of ISABELLE_HOME/contrib vs. ISABELLE_HOME/..; | changeset | files |
Fri, 05 Dec 2008 11:42:27 +0100 | ballarin | Merged. | changeset | files |
Fri, 05 Dec 2008 11:26:07 +0100 | ballarin | Interpretation in theories including interaction with subclass relation. | changeset | files |