Searched refs:v1 (Results 1 - 6 of 6) sorted by relevance

/hets/HolLight/OcamlTools/exportTools/
H A Dexport_helper.ml86 let sharedtbl_to_list tbl = List.sort (fun (v1,_) (v2,_) -> v1-v2) (htbl_to_list tbl (fun k v -> (v,k)))
107 let export_libs (h,l) f = print_to_file pp_export (htbl_to_list h (fun k v -> (k,htbl_to_list v (fun k1 v1 -> (k1,mkSharedTerm v1)))),l) f;;
/hets/Isabelle/export/
H A Dexport_helper.ml67 (ds',Result v1) => State (ds',(v,v1))
81 fun (f >>> g) = (f >> (fn (v,v1) => (v,g v1)))
87 (* add result v1 to the state *)
88 fun return v1 (State (d,v)) = State (d,(v,v1))
92 fun pack (State (d,((v,v1),v2))) = State (d,(v,(v1,v2)))
113 (State (ds,(v,v1)),
[all...]
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
/hets/doc/
H A DUserGuide.tex934 \I\VIEW \NAMEDEFN{v1} ~:~ \NAMEREF{Strict\_Partial\_Order} \TO
1889 lib/uk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jar
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 45 milliseconds