| Fri, 12 May 2006 04:20:02 +0200 | huffman | add new finite chain theorems | changeset | files |
| Fri, 12 May 2006 01:01:08 +0200 | wenzelm | improved propagate_deps; | changeset | files |
| Thu, 11 May 2006 21:46:17 +0200 | wenzelm | check result against certified prop, i.e. admit non-normal statements; | changeset | files |