Mon, 27 Mar 2006 18:10:02 +0200 | paulson | removed illegal character codes | changeset | files |
Sun, 26 Mar 2006 03:22:42 +0200 | urbanc | simplified the proof at_fin_set_supp | changeset | files |
Sat, 25 Mar 2006 18:16:07 +0100 | nipkow | changed abbreviation for "infinite" back to translation because | changeset | files |
Fri, 24 Mar 2006 19:30:01 +0100 | huffman | lazy patterns in lambda abstractions | changeset | files |
Fri, 24 Mar 2006 15:59:16 +0100 | urbanc | changed the it_prm proof to work for recursion | changeset | files |
Fri, 24 Mar 2006 15:15:08 +0100 | urbanc | tuned some proofs | changeset | files |