| 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 |
| Fri, 12 Aug 2011 14:45:50 -0700 | huffman | make more HOL theories work with separate set type | changeset | files |
| Sat, 13 Aug 2011 00:34:54 +0200 | wenzelm | immediate fork of initial workers -- avoid 5 ticks (250ms) for adaptive scheme (a07558eb5029); | changeset | files |