| 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 |