Sat, 15 Jan 2011 13:34:10 +0100 misc tuning for release;
wenzelm [Sat, 15 Jan 2011 13:34:10 +0100] rev 41571
misc tuning for release;
Sat, 15 Jan 2011 13:48:45 +0100 normalize Z3 models: assignments to free variables should ideally not refer to other free variables
boehmes [Sat, 15 Jan 2011 13:48:45 +0100] rev 41570
normalize Z3 models: assignments to free variables should ideally not refer to other free variables
Sat, 15 Jan 2011 13:41:58 +0100 Also added SPARK to test and clean targets.
berghofe [Sat, 15 Jan 2011 13:41:58 +0100] rev 41569
Also added SPARK to test and clean targets.
Sat, 15 Jan 2011 13:19:16 +0100 merged
berghofe [Sat, 15 Jan 2011 13:19:16 +0100] rev 41568
merged
Sat, 15 Jan 2011 12:49:10 +0100 Added entry for HOL-SPARK
berghofe [Sat, 15 Jan 2011 12:49:10 +0100] rev 41567
Added entry for HOL-SPARK
Sat, 15 Jan 2011 12:48:39 +0100 Added HOL-SPARK and removed old_primrec.ML
berghofe [Sat, 15 Jan 2011 12:48:39 +0100] rev 41566
Added HOL-SPARK and removed old_primrec.ML
Sat, 15 Jan 2011 12:47:52 +0100 unused_thms no longer compares propositions, since this is no longer needed
berghofe [Sat, 15 Jan 2011 12:47:52 +0100] rev 41565
unused_thms no longer compares propositions, since this is no longer needed and did not work properly any longer after the addition of class constraints to propositions.
Sat, 15 Jan 2011 12:42:19 +0100 Include HOL-SPARK keywords
berghofe [Sat, 15 Jan 2011 12:42:19 +0100] rev 41564
Include HOL-SPARK keywords
Sat, 15 Jan 2011 12:41:07 +0100 Include HOL-SPARK
berghofe [Sat, 15 Jan 2011 12:41:07 +0100] rev 41563
Include HOL-SPARK
Sat, 15 Jan 2011 12:38:56 +0100 Finally removed old primrec package, since Primrec.add_primrec_global
berghofe [Sat, 15 Jan 2011 12:38:56 +0100] rev 41562
Finally removed old primrec package, since Primrec.add_primrec_global can be used instead.
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip