src/Doc/Implementation/ML.thy
Thu, 05 Nov 2015 00:17:13 +0100 wenzelm isabelle update_cartouches -c;
Wed, 04 Nov 2015 18:32:47 +0100 wenzelm more antiquotations;
Thu, 22 Oct 2015 23:01:49 +0200 wenzelm tuned;
Thu, 22 Oct 2015 21:34:28 +0200 wenzelm tuned;
Thu, 22 Oct 2015 21:16:49 +0200 wenzelm more control symbols;
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) -30 -10 -7 tip