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 |