Sun, 01 Aug 2010 10:26:55 +0200 merged
bulwahn [Sun, 01 Aug 2010 10:26:55 +0200] rev 38120
merged
Sun, 01 Aug 2010 10:15:44 +0200 adding Code_Prolog theory to IsaMakefile and HOL-Library root file
bulwahn [Sun, 01 Aug 2010 10:15:44 +0200] rev 38119
adding Code_Prolog theory to IsaMakefile and HOL-Library root file
Sun, 01 Aug 2010 10:15:43 +0200 inductive_simps learns to have more tool compliance
bulwahn [Sun, 01 Aug 2010 10:15:43 +0200] rev 38118
inductive_simps learns to have more tool compliance
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip