| Sat, 13 Aug 2011 13:48:26 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 13 Aug 2011 13:42:35 +0200 | wenzelm | maintain node header; | changeset | files |
| Sat, 13 Aug 2011 12:23:51 +0200 | kleing | removed unused lemma; removed old-style ; | changeset | files |
| Sat, 13 Aug 2011 12:05:52 +0200 | kleing | point isatest-statistics to the right afp log files | changeset | files |
| Sat, 13 Aug 2011 11:57:13 +0200 | kleing | IMP/Util distinguishes between sets and functions again; imported only where used. | changeset | files |
| Fri, 12 Aug 2011 20:55:22 -0700 | huffman | remove redundant lemma setsum_norm in favor of norm_setsum; | changeset | files |
| Fri, 12 Aug 2011 16:47:53 -0700 | huffman | merged | changeset | files |