src/ZF/coinductive.thy
Tue, 16 Nov 1993 14:24:21 +0100 clasohm made pseudo theories for all ML files;
less more (0) tip