doc-src/IsarImplementation/implementation.tex
Mon, 08 Feb 2010 14:04:51 +0100 wenzelm more quotes;
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
Thu, 26 Feb 2009 21:16:53 +0100 wenzelm basic setup for chapter "Syntax and type-checking";
Thu, 26 Feb 2009 20:03:32 +0100 wenzelm \bibliographystyle{abbrv} for newer ref manuals;
Mon, 16 Feb 2009 21:23:33 +0100 wenzelm removed rudiments of glossary;
Mon, 16 Feb 2009 20:47:44 +0100 wenzelm observe usual theory naming conventions;
Thu, 13 Nov 2008 22:03:26 +0100 wenzelm more contributors;
Thu, 15 May 2008 18:12:24 +0200 wenzelm use ../isabelle.sty, ../isabellesym.sty;
Fri, 09 May 2008 12:44:31 +0200 wenzelm added local copy of underscore.sty;
Thu, 08 May 2008 22:20:33 +0200 wenzelm improved treatment of "_" thanks to underscore.sty;
Tue, 08 May 2007 15:36:39 +0200 wenzelm tuned;
Tue, 12 Sep 2006 14:50:11 +0200 wenzelm more on terms;
Thu, 07 Sep 2006 15:16:26 +0200 wenzelm tuned;
Mon, 04 Sep 2006 20:07:55 +0200 wenzelm tuned;
Mon, 04 Sep 2006 17:06:45 +0200 wenzelm tuned;
Thu, 31 Aug 2006 22:55:49 +0200 wenzelm misc cleanup;
Sat, 08 Jul 2006 14:01:40 +0200 wenzelm tuned;
Thu, 06 Jul 2006 16:49:36 +0200 wenzelm tuned;
Sat, 04 Mar 2006 21:39:08 +0100 wenzelm tuned;
Tue, 03 Jan 2006 13:59:55 +0100 wenzelm more stuff;
Mon, 02 Jan 2006 20:16:52 +0100 wenzelm "The Isabelle/Isar Implementation" manual;
less more (0) tip