Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-20 09:53:15 -0700 (Thu, 20 Sep 2001)
Revision: 3392
Log message:

      Added GPL license info/terms to these files.
      

Changes	Path
+26 -1	metaprl/theories/mc/fir_exp.ml
+26 -1	metaprl/theories/mc/fir_exp.mli
+26 -1	metaprl/theories/mc/fir_int.ml
+26 -1	metaprl/theories/mc/fir_int.mli
+26 -1	metaprl/theories/mc/fir_int_set.ml
+26 -1	metaprl/theories/mc/fir_int_set.mli
+26 -1	metaprl/theories/mc/fir_state.ml
+26 -1	metaprl/theories/mc/fir_state.mli
+26 -1	metaprl/theories/mc/fir_test.ml
+26 -1	metaprl/theories/mc/fir_test.mli
+26 -1	metaprl/theories/mc/fir_ty.ml
+26 -1	metaprl/theories/mc/fir_ty.mli
+26 -1	metaprl/theories/mc/fir_type.ml
+26 -1	metaprl/theories/mc/fir_type.mli
+26 -1	metaprl/theories/mc/fir_type_exp.ml
+26 -1	metaprl/theories/mc/fir_type_exp.mli
+26 -1	metaprl/theories/mc/fir_type_int.ml
+26 -1	metaprl/theories/mc/fir_type_int.mli
+26 -1	metaprl/theories/mc/fir_type_state.ml
+26 -1	metaprl/theories/mc/fir_type_state.mli
+27 -3	metaprl/theories/mc/mc_theory.ml
+27 -3	metaprl/theories/mc/mc_theory.mli