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.
consistent session name
authorhaftmann
Mon, 17 Apr 2017 07:44:21 +0200
changeset 65485 8c7bc3a13513
parent 65484 751f9ed8e940
child 65486 d801126a14cb
child 65487 7847807b07ce
consistent session name
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Sun Apr 16 15:30:03 2017 +0200
+++ b/src/HOL/ROOT	Mon Apr 17 07:44:21 2017 +0200
@@ -69,7 +69,7 @@
     Approximations
     Circle_Area
 
-session "HOL-Computation_Algebra" in "Computational_Algebra" = HOL +
+session "HOL-Computational_Algebra" in "Computational_Algebra" = HOL +
   theories
     Computational_Algebra
     (*conflicting type class instantiations and dependent applications*)
isabelle