--- a/src/HOL/IsaMakefile Fri Apr 16 21:03:40 2004 +0200
+++ b/src/HOL/IsaMakefile Sat Apr 17 00:46:22 2004 +0200
@@ -29,6 +29,7 @@
HOL-Isar_examples \
HOL-Lambda \
HOL-Lattice \
+ HOL-Matrix \
HOL-MicroJava \
HOL-Modelcheck \
HOL-NanoJava \
@@ -632,6 +633,17 @@
@$(ISATOOL) usedir -g true $(OUT)/HOL SET-Protocol
+## HOL-Matrix
+
+HOL-Matrix: HOL $(LOG)/HOL-Matrix.gz
+
+$(LOG)/HOL-Matrix.gz: $(OUT)/HOL Matrix/ROOT.ML \
+ Matrix/Matrix.thy\
+ Matrix/LinProg.thy\
+ Matrix/MatrixGeneral.thy
+ @$(ISATOOL) usedir $(OUT)/HOL Matrix
+
+
## TLA