Tue, 27 Aug 2002 11:09:35 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
Fri, 16 Aug 2002 16:41:48 +0200 | paulson | Relativized right up to L satisfies V=L! | file | diff | annotate |
Fri, 16 Aug 2002 12:48:49 +0200 | paulson | Tidying up | file | diff | annotate |
Thu, 15 Aug 2002 21:36:26 +0200 | paulson | Relativization and absoluteness for DPow!! | file | diff | annotate |
Wed, 14 Aug 2002 14:33:26 +0200 | paulson | Finished absoluteness of "satisfies"!! | file | diff | annotate |
Tue, 13 Aug 2002 17:42:34 +0200 | paulson | In ZF/Constructible, moved many results from Satisfies_absolute, etc., to | file | diff | annotate |
Tue, 13 Aug 2002 11:03:11 +0200 | paulson | new file Constructible/Satisfies_absolute.thy | file | diff | annotate |