src/HOL/ex/Antiquote.thy
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Thu, 27 Sep 2001 15:42:08 +0200 wenzelm tuned;
Mon, 30 Oct 2000 18:24:42 +0100 wenzelm tuned;
Thu, 13 Jul 2000 11:41:40 +0200 wenzelm tuned;
Thu, 23 Mar 2000 11:27:52 +0100 wenzelm ex/Antiquote.thy made new-style theory;
Mon, 24 Aug 1998 18:17:25 +0200 wenzelm added Antiquote example;
less more (0) tip