| Fri, 01 Oct 2010 10:25:36 +0200 | haftmann | chop_while replace drop_while and take_while | changeset | files |
| Fri, 01 Oct 2010 08:25:23 +0200 | haftmann | merged | changeset | files |
| Thu, 30 Sep 2010 18:37:29 +0200 | haftmann | take_while, drop_while | changeset | files |
| Thu, 30 Sep 2010 18:46:19 -0700 | huffman | rename cont2cont_split to cont2cont_prod_case; add lemmas prod_contI, prod_cont_iff; simplify some proofs | changeset | files |
| Thu, 30 Sep 2010 17:06:25 -0700 | huffman | fixrec: rename match_cpair to match_Pair | changeset | files |
| Wed, 15 Sep 2010 13:26:21 -0700 | huffman | remove code for obsolete 'fixpat' command | changeset | files |
| Wed, 15 Sep 2010 12:54:17 -0700 | huffman | clean up definition of compile_pat function | changeset | files |