| Thu, 14 Jun 2007 18:33:31 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Fri, 01 Jun 2007 15:14:05 +0200 | krauss | Added "merge-lemma" about wellfoundedness of unions (useful for some termination proofs) | file | diff | annotate |
| Sun, 06 May 2007 21:50:17 +0200 | haftmann | changed code generator invocation syntax | file | diff | annotate |
| Sat, 21 Apr 2007 19:32:32 +0200 | huffman | faster proof of wf_eq_minimal | file | diff | annotate |