Wed, 02 May 2018 09:57:37 +0100 merged
paulson [Wed, 02 May 2018 09:57:37 +0100] rev 68063
merged
Tue, 01 May 2018 23:25:00 +0100 simplified some messy proofs
paulson <lp15@cam.ac.uk> [Tue, 01 May 2018 23:25:00 +0100] rev 68062
simplified some messy proofs
Tue, 01 May 2018 20:40:27 +0200 clarified theory location and imports: avoid surprises due to Pure instead of Main (e.g. simpset operations);
wenzelm [Tue, 01 May 2018 20:40:27 +0200] rev 68061
clarified theory location and imports: avoid surprises due to Pure instead of Main (e.g. simpset operations); tuned headers;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip