Added Mathlib; MathLib0 now uses Mathlib

1987-05-27 10:05:01 +00:00
parent 791ec39e57
commit 86c5c56a38
10 changed files with 591 additions and 351 deletions
--- a/lang/m2/libm2/LIST
+++ b/lang/m2/libm2/LIST
@@ -1,18 +1,19 @@
 tail_m2.a
+RealInOut.mod
 InOut.mod
 Terminal.mod
 TTY.mod
 ASCII.mod
-FIFFEF.e
 MathLib0.mod
+Mathlib.mod
 Processes.mod
 RealConver.mod
-RealInOut.mod
 Storage.mod
 Conversion.mod
 Semaphores.mod
 random.mod
 Strings.mod
+FIFFEF.e
 Arguments.c
 catch.c
 hol0.e