author | paulson |
Mon, 01 Jul 2002 18:16:18 +0200 | |
changeset 13268 | 240509babf00 |
parent 13254 | 5146ccaedf42 |
child 13306 | 6eebcddee32b |
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 |
||
6 |
Inner Models and Absoluteness |
|
7 |
*) |
|
8 |
||
13223 | 9 |
use_thy "Reflection"; |
13254 | 10 |
use_thy "WF_absolute"; |
13223 | 11 |
use_thy "L_axioms"; |
13268 | 12 |
use_thy "Datatype_absolute"; |