isabelle: src/ZF/UNITY/ROOT.ML@d9320fb0a570 (annotated)

11479 697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	1	(* Title: ZF/UNITY/ROOT
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	2	ID: $Id$
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	3	Author: Lawrence C Paulson, Cambridge University Computer Laboratory
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	4	Copyright 1998 University of Cambridge
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	5
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	6	Root file for ZF/UNITY proofs.
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	7	*)
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	8
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	9	(Basic meta-theory)
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	10	time_use_thy "Guar";
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	11
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	12	(Simple examples: no composition)
697dcaaf478f new ZF/UNITY theory paulson parents: diff changeset	13	time_use_thy"Mutex";