haftmann [Wed, 02 Jun 2010 16:24:14 +0200] rev 37293
avoid duplicate import
haftmann [Wed, 02 Jun 2010 16:24:14 +0200] rev 37292
HOL-Proofs is based in Main.thy
haftmann [Wed, 02 Jun 2010 16:24:13 +0200] rev 37291
dropped lemma duplicate
haftmann [Wed, 02 Jun 2010 15:35:14 +0200] rev 37290
msetprod_empty, msetprod_singleton
haftmann [Wed, 02 Jun 2010 15:35:14 +0200] rev 37289
induction over non-empty lists
haftmann [Wed, 02 Jun 2010 15:35:14 +0200] rev 37288
removed dependency of Euclid on Old_Number_Theory
haftmann [Wed, 02 Jun 2010 15:35:13 +0200] rev 37287
modernized
wenzelm [Wed, 02 Jun 2010 16:42:58 +0200] rev 37286
removed obsolete usedir -p 1 option;
wenzelm [Wed, 02 Jun 2010 15:38:27 +0200] rev 37285
actually test smlnj;
wenzelm [Wed, 02 Jun 2010 15:36:24 +0200] rev 37284
updated keywords;