| 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 |