| Sun, 08 Nov 2009 21:00:05 +0100 | wenzelm | updated functor Theory_Data, Proof_Data, Generic_Data; | changeset | files |
| Sun, 08 Nov 2009 19:15:37 +0100 | wenzelm | modernized structure Reorient_Proc; | changeset | files |
| Sun, 08 Nov 2009 18:43:42 +0100 | wenzelm | adapted Theory_Data; | changeset | files |