substantial progress on monitors

- infrastructure (open) monitor_tab
- computing enabled classes of monitors
- first semantics behind open and close.
- fairly untested.

Isa_DOF.thy

@@ -144,7 +144,7 @@ structure Data = Generic_Data
                 ISA_transformer_tab = Symtab.merge (fn (_ , _) => false)(e1,e2),
                 monitor_tab =  Symtab.merge (op =)(m1,m2) 
                      (* PROVISORY  ... ITS A REAL QUESTION HOW TO DO THIS!*)
-                }
+               }
 );
 
 

ontologies/CENELEC_50126.thy

@@ -159,11 +159,12 @@ DOF_core.is_subclass @{context} "CENELEC_50126.srac" "CENELEC_50126.ec";
 DOF_core.is_subclass @{context} "CENELEC_50126.ec"   "CENELEC_50126.srac";
 DOF_core.is_subclass @{context} "CENELEC_50126.ec"   "CENELEC_50126.test_requirement";
 "XXXXXXXXXXXXXXXXX";
-val ({maxano, tab=ref_tab},class_tab,_) = DOF_core.get_data @{context};
+val {docobj_tab={maxano, tab=ref_tab},docclass_tab=class_tab,...} = DOF_core.get_data @{context};
 Symtab.dest ref_tab;
 Symtab.dest class_tab;
 *}
-  
+
+
 ML{*
 "XXXXXXXXXXXXXXXXX";