--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/IOA/meta_theory/Asig.ML	Mon Mar 20 15:37:03 1995 +0100
@@ -0,0 +1,11 @@
+(*  Title:      HOL/IOA/meta_theory/Asig.ML
+    ID:         $Id$
+    Author:     Tobias Nipkow & Konrad Slind
+    Copyright   1994  TU Muenchen
+
+Action signatures
+*)
+
+open Asig;
+
+val asig_projections = [asig_inputs_def, asig_outputs_def, asig_internals_def];