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 36751 7f1da69cacb3
parent 36700 9b85b9d74b83
child 36753 5cf4e9128f22 
--- a/src/HOL/IsaMakefile	Fri May 07 10:00:24 2010 +0200
+++ b/src/HOL/IsaMakefile	Fri May 07 15:05:52 2010 +0200
@@ -271,6 +271,7 @@
   Random.thy \
   Random_Sequence.thy \
   Recdef.thy \
+  Semiring_Normalization.thy \
   SetInterval.thy \
   Sledgehammer.thy \
   String.thy \
isabelle