Wed, 02 Jun 2010 16:24:14 +0200 | haftmann | absolute import -- must work with Main.thy / HOL-Proofs | changeset | files |
Wed, 02 Jun 2010 16:24:14 +0200 | haftmann | avoid duplicate import | changeset | files |
Wed, 02 Jun 2010 16:24:14 +0200 | haftmann | HOL-Proofs is based in Main.thy | changeset | files |
Wed, 02 Jun 2010 16:24:13 +0200 | haftmann | dropped lemma duplicate | changeset | files |