src/HOL/ex/Multiquote.thy
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