src/ZF/Constructible/Datatype_absolute.thy
2002-07-04 paulson 2002-07-04 tweaks
2002-07-02 paulson 2002-07-02 Tidying and introduction of various new theorems
2002-07-01 paulson 2002-07-01 more use of relativized quantifiers list_closed