Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
Tue, 16 Oct 2001 17:58:13 +0200 | wenzelm | tuned induction proofs; | file | diff | annotate |
Sat, 20 Jan 2001 00:35:35 +0100 | wenzelm | tuned; | file | diff | annotate |
Fri, 19 Jan 2001 23:53:07 +0100 | wenzelm | added HOL/Library/Nested_Environment.thy; | file | diff | annotate |