doc-src/TutorialI/Rules/Basic.thy
Fri, 27 Aug 2010 14:07:09 +0200 wenzelm expanded some aliases from structure Unsynchronized;
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Thu, 01 Oct 2009 20:04:44 +0200 wenzelm explicitly Unsynchronized;
less more (0) -10 -3 tip