doc-src/antiquote_setup.ML
Sat, 10 Feb 2007 09:26:07 +0100 haftmann added antiquotation for exceptions
Fri, 19 Jan 2007 22:08:01 +0100 wenzelm renamed IsarOutput to ThyOutput;
Fri, 19 Jan 2007 13:16:37 +0100 wenzelm adapted ML context operations;
Wed, 15 Nov 2006 15:37:34 +0100 wenzelm Auxiliary antiquotations for Isabelle manuals.
less more (0) tip