doc-src/IsarImplementation/Thy/Local_Theory.thy
Thu, 21 Oct 2010 20:06:13 +0100 wenzelm more refs;
Mon, 18 Oct 2010 15:35:20 +0100 wenzelm tuned;
less more (0) -10 -2 tip