2 files changed, 0 insertions(+), 17 deletions(-)

M WebAssembly/ROOT
D WebAssembly/Wasm_Parser.thy

@@ 25,7 25,6 @@ session WebAssembly_Dev = "HOL-Library" +
     Wasm_Type_Abs
     Wasm_Type_Printing
     Wasm_Properties2
-    Wasm_Parser
   export_files (in "code") [2]
     "WebAssembly_Dev.Wasm_Printing:code/WasmRef_Isa.ocaml"
 

@@ 1,16 0,0 @@
-theory Wasm_Parser
-  imports Wasm_SML_Printing
-begin
-
-
-definition something :: int where "something = 42"
-
-ML\<open>
-val x = @{const something}
-\<close>
-
-(*
-ML_file "../parser/parsimony/src/parsimony.fun"
-ML_file "../parser/parse.sml"
-*)
-end>
\ No newline at end of file