doc-src/TutorialI/Misc/Itrev.thy
Fri, 27 Aug 2010 14:07:09 +0200 wenzelm expanded some aliases from structure Unsynchronized;
Mon, 26 Oct 2009 12:02:06 +0100 wenzelm removed unnecessary NameSpace prefix;
less more (0) -10 -2 tip