author | haftmann |
Tue, 10 Jul 2007 17:30:50 +0200 | |
changeset 23709 | fd31da8f752a |
parent 21426 | 87ac12bed1ab |
child 24106 | f2965bf954dc |
permissions | -rw-r--r-- |
9000 | 1 |
(* Title: LK/ex/ROOT.ML |
6252 | 2 |
ID: $Id$ |
3 |
Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
|
4 |
Copyright 1992 University of Cambridge |
|
5 |
||
17481 | 6 |
Examples for Classical Logic. |
6252 | 7 |
*) |
8 |
||
21426 | 9 |
use_thy "Propositional"; |
10 |
use_thy "Quantifiers"; |
|
11 |
use_thy "Hard_Quantifiers"; |
|
12 |
use_thy "Nat"; |