summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-loops
diff options
context:
space:
mode:
Diffstat (limited to 'tests/hol4/misc-loops')
-rw-r--r--tests/hol4/misc-loops/loops_FunsScript.sml1
-rw-r--r--tests/hol4/misc-loops/loops_TypesScript.sml1
2 files changed, 0 insertions, 2 deletions
diff --git a/tests/hol4/misc-loops/loops_FunsScript.sml b/tests/hol4/misc-loops/loops_FunsScript.sml
index 65cf77d4..6bb079a9 100644
--- a/tests/hol4/misc-loops/loops_FunsScript.sml
+++ b/tests/hol4/misc-loops/loops_FunsScript.sml
@@ -1,4 +1,3 @@
-(** THIS FILE WAS AUTOMATICALLY GENERATED BY AENEAS *)
(** [loops]: function definitions *)
open primitivesLib divDefLib
open loops_TypesTheory
diff --git a/tests/hol4/misc-loops/loops_TypesScript.sml b/tests/hol4/misc-loops/loops_TypesScript.sml
index e3e5b8d1..aec26414 100644
--- a/tests/hol4/misc-loops/loops_TypesScript.sml
+++ b/tests/hol4/misc-loops/loops_TypesScript.sml
@@ -1,4 +1,3 @@
-(** THIS FILE WAS AUTOMATICALLY GENERATED BY AENEAS *)
(** [loops]: type definitions *)
open primitivesLib divDefLib