Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

test commit

  • Loading branch information...
commit 760badce4c0843344de9fff0141f9503dc089f10 1 parent bf96ff1
@myreen myreen authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  translator/ml_translatorScript.sml
View
2  translator/ml_translatorScript.sml
@@ -1,7 +1,7 @@
open HolKernel Parse boolLib bossLib; val _ = new_theory "ml_translator";
open MiniMLTheory MiniMLTerminationTheory Print_astTerminationTheory
-(* open determTheory; *)
+(* open determTheory; *)
open arithmeticTheory listTheory combinTheory pairTheory;
open integerTheory;
open lcsymtacs;
Please sign in to comment.
Something went wrong with that request. Please try again.