# HG changeset patch
# User nipkow
# Date 784457179 -3600
# Node ID 54cf155d00d3d0d63be56cf8d3bdaf06d32c720c
# Parent  44ff2275d44f1e5f58f42aa3ccc35acf0373aa67
Initial revision

diff -r 44ff2275d44f -r 54cf155d00d3 IOA/meta_theory/Asig.ML
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/IOA/meta_theory/Asig.ML	Thu Nov 10 09:46:19 1994 +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];