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