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
Tue, 28 Sep 2010 08:38:20 +0200 dropped obsolete mk_tcl
krauss [Tue, 28 Sep 2010 08:38:20 +0200] rev 39749
dropped obsolete mk_tcl
Tue, 28 Sep 2010 08:35:00 +0200 make SML/NJ happy
blanchet [Tue, 28 Sep 2010 08:35:00 +0200] rev 39748
make SML/NJ happy
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip