Old_HOL: IOA/meta_theory/Asig.ML@54cf155d00d3 (annotated)

169 54cf155d00d3 Initial revision nipkow parents: diff changeset	1	(* Title: HOL/IOA/meta_theory/Asig.ML
54cf155d00d3 Initial revision nipkow parents: diff changeset	2	ID: $Id$
54cf155d00d3 Initial revision nipkow parents: diff changeset	3	Author: Tobias Nipkow & Konrad Slind
54cf155d00d3 Initial revision nipkow parents: diff changeset	4	Copyright 1994 TU Muenchen
54cf155d00d3 Initial revision nipkow parents: diff changeset	5
54cf155d00d3 Initial revision nipkow parents: diff changeset	6	Action signatures
54cf155d00d3 Initial revision nipkow parents: diff changeset	7	*)
54cf155d00d3 Initial revision nipkow parents: diff changeset	8
54cf155d00d3 Initial revision nipkow parents: diff changeset	9	open Asig;
54cf155d00d3 Initial revision nipkow parents: diff changeset	10
54cf155d00d3 Initial revision nipkow parents: diff changeset	11	val asig_projections = [asig_inputs_def, asig_outputs_def, asig_internals_def];