--- a/src/HOL/IsaMakefile Tue Jan 23 15:48:35 2001 +0100
+++ b/src/HOL/IsaMakefile Tue Jan 23 18:05:53 2001 +0100
@@ -37,6 +37,7 @@
TLA-Inc \
TLA-Memory \
HOL-UNITY \
+ HOL-Unix \
HOL-W0 \
HOL-ex
# ^ this is the sort position
@@ -347,6 +348,16 @@
@$(ISATOOL) usedir $(OUT)/HOL UNITY
+## HOL-Unix
+
+HOL-Unix: HOL $(LOG)/HOL-Unix.gz
+
+$(LOG)/HOL-Unix.gz: $(OUT)/HOL Library/Nested_Environment.thy \
+ Library/List_Prefix.thy Unix/ROOT.ML Unix/Unix.thy \
+ Unix/document/root.bib Unix/document/root.tex
+ @$(ISATOOL) usedir $(OUT)/HOL Unix
+
+
## HOL-Modelcheck
HOL-Modelcheck: HOL $(LOG)/HOL-Modelcheck.gz