src/Doc/Tutorial/Misc/AdvancedInd.thy
Sat, 28 May 2016 21:38:58 +0200 wenzelm clarified 'axiomatization';
less more (0) -1 tip