author | huffman |
Thu, 26 May 2005 02:23:27 +0200 | |
changeset 16081 | 81a4b4a245b0 |
parent 13634 | 99a593b49b04 |
child 23912 | 039ae566a4a2 |
permissions | -rw-r--r-- |
13245 | 1 |
(* Title: ZF/Constructible/ROOT.ML |
2 |
ID: $Id$ |
|
3 |
Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
|
4 |
Copyright 2002 University of Cambridge |
|
5 |
||
13543 | 6 |
Inner Models, Absoluteness and Consistency Proofs |
13245 | 7 |
*) |
8 |
||
13503 | 9 |
use_thy "DPow_absolute"; |
13543 | 10 |
use_thy "AC_in_L"; |
13634 | 11 |
use_thy "Rank_Separation"; |