| Tue, 26 May 2009 11:02:59 -0700 | huffman | encode gauge-fine partitions with lists instead of functions; remove lots of unnecessary lemmas | changeset | files |
| Tue, 26 May 2009 10:31:39 -0700 | huffman | listsum lemmas | changeset | files |
| Tue, 26 May 2009 07:39:52 -0700 | huffman | clean up some rsum proofs | changeset | files |
| Tue, 26 May 2009 13:40:50 +0200 | haftmann | weakend references to old axclass | changeset | files |
| Tue, 26 May 2009 13:40:49 +0200 | haftmann | clarified benefit of interpretation | changeset | files |
| Tue, 26 May 2009 12:31:01 +0200 | haftmann | documented print_codeproc command | changeset | files |
| Mon, 25 May 2009 22:14:59 -0700 | huffman | use interval sets with gauge predicate | changeset | files |
| Mon, 25 May 2009 21:55:07 -0700 | huffman | clean up some proofs | changeset | files |