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/HOL/IsaMakefile
changeset 22375 823f7bee42df
parent 22359 94a794672c8b
child 22448 f982e73e36de 
--- a/src/HOL/IsaMakefile	Wed Feb 28 14:46:21 2007 +0100
+++ b/src/HOL/IsaMakefile	Wed Feb 28 16:35:00 2007 +0100
@@ -211,7 +211,7 @@
   Library/Graphs.thy Library/Kleene_Algebras.thy Library/SCT_Misc.thy \
   Library/SCT_Definition.thy Library/SCT_Theorem.thy Library/SCT_Interpretation.thy \
   Library/SCT_Implementation.thy Library/Size_Change_Termination.thy \
-  Library/SCT_Examples.thy
+  Library/SCT_Examples.thy Library/sct.ML
 	@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library
isabelle