src/Doc/Logics_ZF/If.thy
Mon, 16 Mar 2015 16:59:59 +0100 wenzelm proper headers;
Tue, 08 Apr 2014 12:46:38 +0200 haftmann even more standardized doc session names after #b266e7a86485
less more (0) tip