| Wed, 02 Jun 2010 21:12:28 +0200 | wenzelm | replaced ML pokes by explicit usedir -p; | changeset | files |
| Wed, 02 Jun 2010 18:48:30 +0200 | haftmann | merged | changeset | files |
| 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 |
| Wed, 02 Jun 2010 15:35:14 +0200 | haftmann | msetprod_empty, msetprod_singleton | changeset | files |
| Wed, 02 Jun 2010 15:35:14 +0200 | haftmann | induction over non-empty lists | changeset | files |
| Wed, 02 Jun 2010 15:35:14 +0200 | haftmann | removed dependency of Euclid on Old_Number_Theory | changeset | files |
| Wed, 02 Jun 2010 15:35:13 +0200 | haftmann | modernized | changeset | files |
| Wed, 02 Jun 2010 16:42:58 +0200 | wenzelm | removed obsolete usedir -p 1 option; | changeset | files |
| Wed, 02 Jun 2010 15:38:27 +0200 | wenzelm | actually test smlnj; | changeset | files |
| Wed, 02 Jun 2010 15:36:24 +0200 | wenzelm | updated keywords; | changeset | files |
| Wed, 02 Jun 2010 14:55:37 +0200 | wenzelm | Added tag isa2009-2-test0 for changeset 935c75359742 | changeset | files |
| Wed, 02 Jun 2010 14:38:39 +0200 | wenzelm | more CONTRIBUTORS; | changeset | files |
| Wed, 02 Jun 2010 13:18:48 +0200 | wenzelm | merged | changeset | files |