Tue, 26 Feb 2002 21:44:29 +0100 | wenzelm | renamed "uses" to "includes"; | changeset | files |
Tue, 26 Feb 2002 21:44:06 +0100 | wenzelm | updated; | changeset | files |
Tue, 26 Feb 2002 18:20:25 +0100 | wenzelm | markup commands: proper theory/proof transactions! | changeset | files |