| Sun, 08 Nov 2009 18:43:22 +0100 | wenzelm | adapted Theory_Data; | changeset | files |
| Sun, 08 Nov 2009 18:42:57 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 08 Nov 2009 16:30:41 +0100 | wenzelm | adapted Generic_Data, Proof_Data; | changeset | files |
| 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 |