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/ROOT
changeset 59743 d8fb00487c4d
parent 59741 5b762cd73a8e
parent 59739 4ed50ebf5d36
child 59747 7325ffa35038 
--- a/src/HOL/ROOT	Wed Mar 18 14:14:07 2015 +0000
+++ b/src/HOL/ROOT	Wed Mar 18 14:28:40 2015 +0000
@@ -548,7 +548,7 @@
     NatSum
     ThreeDivides
     Cubic_Quartic
-	Pythagoras
+    Pythagoras
     Intuitionistic
     CTL
     Arith_Examples
@@ -591,6 +591,7 @@
     SVC_Oracle
     Simps_Case_Conv_Examples
     ML
+    Rewrite_Examples
     SAT_Examples
     SOS
     SOS_Cert
isabelle