Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new theories UNITY/Detects, UNITY/Reachability
authorpaulson
Sat, 04 Mar 2000 11:42:12 +0100
changeset 8338 13d601bda271
parent 8337 5b6430edf06d
child 8339 bcadeb9c7095
new theories UNITY/Detects, UNITY/Reachability
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri Mar 03 21:02:45 2000 +0100
+++ b/src/HOL/IsaMakefile	Sat Mar 04 11:42:12 2000 +0100
@@ -239,6 +239,8 @@
   UNITY/Client.ML UNITY/Client.thy  UNITY/Comp.ML UNITY/Comp.thy\
   UNITY/Guar.ML UNITY/Guar.thy\
   UNITY/Deadlock.ML UNITY/Deadlock.thy UNITY/FP.ML UNITY/FP.thy\
+  UNITY/Detects.ML UNITY/Detects.thy\
+  UNITY/Reachability.ML UNITY/Reachability.thy\
   UNITY/Union.ML UNITY/Union.thy UNITY/Handshake.ML UNITY/Handshake.thy\
   UNITY/TimerArray.ML UNITY/TimerArray.thy\
   UNITY/Extend.ML UNITY/Extend.thy UNITY/Project.ML UNITY/Project.thy\
isabelle