| Sun, 19 Feb 2006 02:11:27 +0100 | huffman | use minimal imports | file | diff | annotate |
| Fri, 03 Jun 2005 23:30:31 +0200 | huffman | replaced cont with cont_def | file | diff | annotate |
| Wed, 25 May 2005 09:44:34 +0200 | wenzelm | removed LICENCE note -- everything is subject to Isabelle licence as | file | diff | annotate |
| Thu, 31 Mar 2005 02:52:49 +0200 | huffman | cleaned up some proofs | file | diff | annotate |
| Tue, 08 Mar 2005 00:15:01 +0100 | huffman | added subsection headings, cleaned up some proofs | file | diff | annotate |
| Fri, 04 Mar 2005 23:25:06 +0100 | huffman | add header | file | diff | annotate |
| Wed, 02 Mar 2005 00:54:06 +0100 | huffman | converted to new-style theory | file | diff | annotate |