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.
adopting specialisation examples to moving the alternative defs in the library
authorbulwahn
Wed, 31 Mar 2010 16:44:41 +0200
changeset 36054 93d62439506c
parent 36053 29e242e9e9a3
child 36055 537876d0fa62
adopting specialisation examples to moving the alternative defs in the library
src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy	Wed Mar 31 16:44:41 2010 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy	Wed Mar 31 16:44:41 2010 +0200
@@ -1,5 +1,5 @@
 theory Specialisation_Examples
-imports Main "../ex/Predicate_Compile_Alternative_Defs"
+imports Main Predicate_Compile_Alternative_Defs
 begin
 
 section {* Specialisation Examples *}
isabelle