doc-src/ProgProve/Thys/Logic.thy
Tue, 24 Apr 2012 12:36:27 +0200 nipkow doc update
Tue, 24 Apr 2012 11:07:50 +0200 nipkow typo
Tue, 24 Apr 2012 09:09:55 +0200 nipkow doc update
less more (0) -3 tip