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.
Capitalized theory names.
authorberghofe
Fri, 28 Apr 2006 17:59:06 +0200
changeset 19501 9afa7183dfc2
parent 19500 188d4e44c1a6
child 19502 369cde91963d
Capitalized theory names.
src/HOL/Nominal/Examples/Fsub.thy file | annotate | diff | comparison | revisions
src/HOL/Nominal/Examples/Lambda_mu.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Nominal/Examples/Fsub.thy	Fri Apr 28 17:58:33 2006 +0200
+++ b/src/HOL/Nominal/Examples/Fsub.thy	Fri Apr 28 17:59:06 2006 +0200
@@ -1,8 +1,8 @@
 (* $Id$ *)
 
 (*<*)
-theory fsub
-imports "../nominal" 
+theory Fsub
+imports "../Nominal" 
 begin
 (*>*)
 
--- a/src/HOL/Nominal/Examples/Lambda_mu.thy	Fri Apr 28 17:58:33 2006 +0200
+++ b/src/HOL/Nominal/Examples/Lambda_mu.thy	Fri Apr 28 17:59:06 2006 +0200
@@ -1,7 +1,7 @@
 (* $Id$ *)
 
-theory lambda_mu 
-imports "../nominal" 
+theory Lambda_mu 
+imports "../Nominal" 
 begin
 
 section {* Lambda-Mu according to a paper by Gavin Bierman *}
@@ -14,3 +14,4 @@
                      | Pss  "mvar" "trm"
                      | Act  "\<guillemotleft>mvar\<guillemotright>trm"  ("Act [_]._" [100,100] 100)
 
+end
isabelle