Theory Compute_Oracle

(*  Title:      HOL/Matrix_LP/Compute_Oracle/Compute_Oracle.thy
    Author:     Steven Obua, TU Munich

Steven Obua's evaluator.
*)

theory Compute_Oracle imports HOL.HOL
begin

ML_file ‹am.ML›
ML_file ‹am_compiler.ML›
ML_file ‹am_interpreter.ML›
ML_file ‹am_ghc.ML›
ML_file ‹am_sml.ML›
ML_file ‹report.ML›
ML_file ‹compute.ML›
ML_file ‹linker.ML›

end