doc-src/IsarImplementation/Thy/integration.thy
Tue, 07 Aug 2007 20:19:49 +0200 wenzelm theory loader: added use_thys, removed obsolete update_thy;
less more (0) -10 -1 tip