| Wed, 25 Dec 2013 17:39:06 +0100 | haftmann | prefer more canonical names for lemmas on min/max | file | diff | annotate |
| Tue, 29 Mar 2011 17:47:11 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Wed, 12 Jan 2011 17:19:50 +0100 | wenzelm | eliminated global prems; | file | diff | annotate |
| Fri, 24 Dec 2010 14:26:10 -0800 | huffman | remove lemma ideal_completion.principal_induct2, use principal_induct twice instead | file | diff | annotate |
| Wed, 22 Dec 2010 18:24:04 -0800 | huffman | rename function ideal_completion.basis_fun to ideal_completion.extension | file | diff | annotate |
| Wed, 15 Dec 2010 19:15:06 -0800 | huffman | add notsqsubseteq syntax | file | diff | annotate |
| Mon, 06 Dec 2010 12:53:06 -0800 | huffman | simplify ideal completion proofs | file | diff | annotate |
| Wed, 01 Dec 2010 20:29:39 -0800 | huffman | reformulate lemma preorder.ex_ideal, and use it for typedefs | file | diff | annotate |
| Sat, 27 Nov 2010 16:08:10 -0800 | huffman | moved directory src/HOLCF to src/HOL/HOLCF; | file | diff | annotate | base |