src/Doc/ProgProve/LaTeXsugar.thy
Fri, 21 Mar 2014 20:33:56 +0100 wenzelm more qualified names;
Sun, 09 Mar 2014 16:37:56 +0100 wenzelm tuned signature;
Thu, 06 Mar 2014 14:38:54 +0100 wenzelm eliminated odd type constraint for read_const (see also 79c1d2bbe5a9);
Thu, 06 Mar 2014 13:44:01 +0100 wenzelm more uniform check_const/read_const;
Wed, 22 Jan 2014 17:22:26 +0100 wenzelm tuned spelling;
Wed, 22 Jan 2014 16:03:11 +0100 wenzelm tuned signature;
Fri, 28 Sep 2012 08:59:54 +0200 nipkow second usage of const_typ
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip