doc-src/IsarImplementation/Thy/integration.thy
Tue, 15 Jul 2008 10:49:39 +0200 wenzelm adapted ThyInfo.end_theory;
less more (0) -10 -1 tip