isabelle: src/HOL/UNITY/Project.thy@cf9d07ad62af (annotated)

7630 d0e4a6f1f05c working snapshot with new theory "Project" paulson parents: diff changeset	1	(* Title: HOL/UNITY/Project.ML
d0e4a6f1f05c working snapshot with new theory "Project" paulson parents: diff changeset	2	ID: $Id$
d0e4a6f1f05c working snapshot with new theory "Project" paulson parents: diff changeset	3	Author: Lawrence C Paulson, Cambridge University Computer Laboratory
d0e4a6f1f05c working snapshot with new theory "Project" paulson parents: diff changeset	4	Copyright 1999 University of Cambridge
d0e4a6f1f05c working snapshot with new theory "Project" paulson parents: diff changeset	5
d0e4a6f1f05c working snapshot with new theory "Project" paulson parents: diff changeset	6	Projections of state sets (also of actions and programs)
d0e4a6f1f05c working snapshot with new theory "Project" paulson parents: diff changeset	7
d0e4a6f1f05c working snapshot with new theory "Project" paulson parents: diff changeset	8	Inheritance of GUARANTEES properties under extension
d0e4a6f1f05c working snapshot with new theory "Project" paulson parents: diff changeset	9	*)
d0e4a6f1f05c working snapshot with new theory "Project" paulson parents: diff changeset	10
7689 affe0c2fdfbf working snapshot (even Alloc) paulson parents: 7630 diff changeset	11	Project = Extend