Tue, 28 Sep 2010 11:59:51 +0200 handling higher-order relations in output terms; improving proof procedure; added test case
bulwahn [Tue, 28 Sep 2010 11:59:51 +0200] rev 39762
handling higher-order relations in output terms; improving proof procedure; added test case
Tue, 28 Sep 2010 11:59:50 +0200 renaming use_random to use_generators in the predicate compiler
bulwahn [Tue, 28 Sep 2010 11:59:50 +0200] rev 39761
renaming use_random to use_generators in the predicate compiler
Tue, 28 Sep 2010 11:59:48 +0200 fixed a typo that caused the preference of non-random modes to be ignored
bulwahn [Tue, 28 Sep 2010 11:59:48 +0200] rev 39760
fixed a typo that caused the preference of non-random modes to be ignored
Tue, 28 Sep 2010 12:48:05 +0200 merged
haftmann [Tue, 28 Sep 2010 12:48:05 +0200] rev 39759
merged
Tue, 28 Sep 2010 12:47:55 +0200 modernized primrecs
haftmann [Tue, 28 Sep 2010 12:47:55 +0200] rev 39758
modernized primrecs
Tue, 28 Sep 2010 12:47:55 +0200 modernized session
haftmann [Tue, 28 Sep 2010 12:47:55 +0200] rev 39757
modernized session
Tue, 28 Sep 2010 12:34:41 +0200 consolidated tupled_lambda; moved to structure HOLogic
krauss [Tue, 28 Sep 2010 12:34:41 +0200] rev 39756
consolidated tupled_lambda; moved to structure HOLogic
Tue, 28 Sep 2010 12:10:37 +0200 added dependency to base image to ensure that the doc test actually rebuilds the tutorial
haftmann [Tue, 28 Sep 2010 12:10:37 +0200] rev 39755
added dependency to base image to ensure that the doc test actually rebuilds the tutorial
Tue, 28 Sep 2010 09:54:07 +0200 no longer declare .psimps rules as [simp].
krauss [Tue, 28 Sep 2010 09:54:07 +0200] rev 39754
no longer declare .psimps rules as [simp]. This regularly caused confusion (e.g., they show up in simp traces when the regular simp rules are disabled). In the few places where the rules are used, explicitly mentioning them actually clarifies the proof text.
Tue, 28 Sep 2010 09:43:13 +0200 added dependency to base images to ensure that the doc test actually rebuilds the tutorials
krauss [Tue, 28 Sep 2010 09:43:13 +0200] rev 39753
added dependency to base images to ensure that the doc test actually rebuilds the tutorials
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip