| Sun, 08 Nov 2009 14:38:36 +0100 | wenzelm | print_theorems: suppress concealed (global) facts, unless "!" option is given; | changeset | files |
| Sun, 08 Nov 2009 13:57:07 +0100 | wenzelm | updated generated file; | changeset | files |
| Sun, 08 Nov 2009 13:56:44 +0100 | wenzelm | modernized structure Random_Word; | changeset | files |
| Sun, 08 Nov 2009 13:44:16 +0100 | wenzelm | init_component: slightly more robust read (raw input, succeed on non-terminated last line); | changeset | files |
| Sat, 07 Nov 2009 18:55:50 +0000 | webertj | merged | changeset | files |
| Sat, 07 Nov 2009 18:55:30 +0000 | webertj | Due to popular demand: added a function that benchmarks proof reconstruction | changeset | files |
| Sat, 07 Nov 2009 18:53:29 +0000 | webertj | Turned sections into subsections (better document structure). | changeset | files |
| Sat, 07 Nov 2009 08:31:56 -0800 | huffman | merged | changeset | files |