src/HOL/Library/Nested_Environment.thy
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Tue, 16 Oct 2001 17:58:13 +0200 wenzelm tuned induction proofs;
Sat, 20 Jan 2001 00:35:35 +0100 wenzelm tuned;
Fri, 19 Jan 2001 23:53:07 +0100 wenzelm added HOL/Library/Nested_Environment.thy;
less more (0) tip