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/Predicate_Compile.thy
changeset 35879 99818df5b8f5
parent 34948 2d5f2a9f7601
child 35890 14a0993fe64b 
--- a/src/HOL/Predicate_Compile.thy	Mon Mar 22 08:30:13 2010 +0100
+++ b/src/HOL/Predicate_Compile.thy	Mon Mar 22 08:30:13 2010 +0100
@@ -1,3 +1,4 @@
+
 (*  Title:      HOL/Predicate_Compile.thy
     Author:     Stefan Berghofer, Lukas Bulwahn, Florian Haftmann, TU Muenchen
 *)
isabelle