Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/IsaMakefile
changeset 8602 f077613e8e7b
parent 6475 19e005e2f58d
child 11350 4c55b020d6ee 
--- a/src/HOLCF/IsaMakefile	Tue Mar 28 17:32:24 2000 +0200
+++ b/src/HOLCF/IsaMakefile	Tue Mar 28 17:33:44 2000 +0200
@@ -95,7 +95,7 @@
 IOA-ABP: IOA $(LOG)/IOA-ABP.gz
 
 $(LOG)/IOA-ABP.gz: $(OUT)/IOA IOA/ABP/Abschannel.thy \
-  IOA/ABP/Abschannel_finite.thy IOA/ABP/Action.ML IOA/ABP/Action.thy \
+  IOA/ABP/Abschannel_finite.thy IOA/ABP/Action.thy \
   IOA/ABP/Check.ML IOA/ABP/Correctness.ML IOA/ABP/Correctness.thy \
   IOA/ABP/Env.thy IOA/ABP/Impl.thy IOA/ABP/Impl_finite.thy \
   IOA/ABP/Lemmas.ML IOA/ABP/Lemmas.thy IOA/ABP/Packet.thy \
@@ -108,7 +108,7 @@
 IOA-NTP: IOA $(LOG)/IOA-NTP.gz
 
 $(LOG)/IOA-NTP.gz: $(OUT)/IOA IOA/NTP/Abschannel.ML \
-  IOA/NTP/Abschannel.thy IOA/NTP/Action.ML IOA/NTP/Action.thy \
+  IOA/NTP/Abschannel.thy IOA/NTP/Action.thy \
   IOA/NTP/Correctness.ML IOA/NTP/Correctness.thy IOA/NTP/Impl.ML \
   IOA/NTP/Impl.thy IOA/NTP/Lemmas.ML IOA/NTP/Lemmas.thy \
   IOA/NTP/Multiset.ML IOA/NTP/Multiset.thy IOA/NTP/Packet.ML \
isabelle