doc-src/IsarRef/Thy/HOL_Specific.thy
Thu, 08 Jul 2010 16:48:33 +0200 haftmann updated documentation
Thu, 17 Jun 2010 10:45:10 +0200 haftmann added simp evaluator
Mon, 14 Jun 2010 10:50:49 +0200 haftmann tuned internal order
less more (0) -30 -10 -3 tip