Wed, 16 Jan 2019 16:18:53 +0100 redundant lemma
nipkow [Wed, 16 Jan 2019 16:18:53 +0100] rev 69682
redundant lemma
Wed, 16 Jan 2019 15:53:12 +0100 tuned headers
nipkow [Wed, 16 Jan 2019 15:53:12 +0100] rev 69681
tuned headers
Wed, 16 Jan 2019 11:48:06 +0100 Reorg of material
nipkow [Wed, 16 Jan 2019 11:48:06 +0100] rev 69680
Reorg of material
Wed, 16 Jan 2019 10:27:57 +0100 tuned headers
nipkow [Wed, 16 Jan 2019 10:27:57 +0100] rev 69679
tuned headers
Wed, 16 Jan 2019 08:12:25 +0100 treat all simp rules the same draft
nipkow [Wed, 16 Jan 2019 08:12:25 +0100] rev 69678
treat all simp rules the same
Wed, 16 Jan 2019 05:26:46 +0100 merged
nipkow [Wed, 16 Jan 2019 05:26:46 +0100] rev 69677
merged
Tue, 15 Jan 2019 20:03:53 +0100 added command 'export_generated_files';
wenzelm [Tue, 15 Jan 2019 20:03:53 +0100] rev 69676
added command 'export_generated_files'; clarified signature;
Tue, 15 Jan 2019 21:31:20 +0100 moved and renamed class
nipkow [Tue, 15 Jan 2019 21:31:20 +0100] rev 69675
moved and renamed class
Mon, 14 Jan 2019 18:35:03 +0000 tuned proofs
haftmann [Mon, 14 Jan 2019 18:35:03 +0000] rev 69674
tuned proofs
Mon, 14 Jan 2019 18:33:53 +0000 canonical operation to typeset generated code makes dedicated environment obsolete
haftmann [Mon, 14 Jan 2019 18:33:53 +0000] rev 69673
canonical operation to typeset generated code makes dedicated environment obsolete
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip