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
Tue, 28 Sep 2010 09:34:20 +0200 removed unnecessary reference poking (cf. f45d332a90e3)
krauss [Tue, 28 Sep 2010 09:34:20 +0200] rev 39752
removed unnecessary reference poking (cf. f45d332a90e3)
Tue, 28 Sep 2010 09:17:33 +0200 merged
haftmann [Tue, 28 Sep 2010 09:17:33 +0200] rev 39751
merged
Tue, 28 Sep 2010 09:14:37 +0200 consider quick_and_dirty option before loading theory
haftmann [Tue, 28 Sep 2010 09:14:37 +0200] rev 39750
consider quick_and_dirty option before loading theory
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip