| Sun, 08 Nov 2009 16:28:18 +0100 | wenzelm | adapted Generic_Data; | changeset | files |
| Sun, 08 Nov 2009 16:27:50 +0100 | wenzelm | modernized/simplified functor Theory_Data, Proof_Data, Generic_Data: eliminated Pretty.pp, discontinued mutable data; | changeset | files |
| Sun, 08 Nov 2009 14:44:31 +0100 | wenzelm | added "declaration (pervasive)"; | changeset | files |
| 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 |