Commit faf90b7f authored by Heiko Becker's avatar Heiko Becker
Browse files

Same parser fix in translationScript

parent a5b027b2
...@@ -13,6 +13,10 @@ val _ = new_theory "trans"; ...@@ -13,6 +13,10 @@ val _ = new_theory "trans";
val _ = translation_extends "realProg"; val _ = translation_extends "realProg";
val _ = temp_overload_on("abs",``real$abs``);
val _ = temp_overload_on("max",``real$max``);
val _ = temp_overload_on("min",``real$min``);
val check_rec_def = Define ` val check_rec_def = Define `
check_rec (input:Token list) (num_fun:num)= check_rec (input:Token list) (num_fun:num)=
case num_fun of case num_fun of
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment