src/Doc/Implementation/Isar.thy
Wed, 04 Nov 2015 18:32:47 +0100 wenzelm more antiquotations;
Tue, 20 Oct 2015 23:53:40 +0200 wenzelm isabelle update_cartouches -t;
Sun, 18 Oct 2015 22:57:09 +0200 wenzelm more control symbols;
less more (0) -10 -3 tip