src/HOL/ex/Tarski.thy
Tue, 27 Jul 1999 22:34:11 +0200 wenzelm back again, supposedly with correct perms;
Tue, 27 Jul 1999 22:32:22 +0200 wenzelm fixed perms and final nl;
Mon, 26 Jul 1999 16:30:50 +0200 paulson HOL/ex/Tarski: new example by Florian Kammueller
less more (0) tip