| Tue, 28 Mar 2006 12:05:45 +0200 | schirmer | added map_val, superseding map_at and substitute | changeset | files |
| Tue, 28 Mar 2006 10:13:51 +0200 | haftmann | some internal cleanup | changeset | files |
| 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 |