src/HOL/ex/Multiquote.thy
Wed, 17 Oct 2001 20:25:51 +0200 wenzelm guillemot syntax;
Thu, 27 Sep 2001 15:42:08 +0200 wenzelm tuned;
Thu, 01 Feb 2001 20:44:19 +0100 wenzelm tuned
Wed, 10 Jan 2001 00:15:33 +0100 wenzelm use \<acute>;
Tue, 09 Jan 2001 15:32:27 +0100 nipkow *** empty log message ***
Mon, 30 Oct 2000 18:24:42 +0100 wenzelm tuned;
Thu, 13 Jul 2000 11:41:40 +0200 wenzelm tuned;
Thu, 30 Mar 2000 21:26:10 +0200 wenzelm tuned;
Sat, 25 Mar 2000 18:01:27 +0100 wenzelm tuned;
Fri, 24 Mar 2000 21:09:34 +0100 wenzelm plain ASCII;
Fri, 24 Mar 2000 17:28:03 +0100 wenzelm added HOL/ex/Multiquote.thy;
less more (0) tip