Mercurial Mercurial > hg > nominal2 / 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.
theory name as it should be
authorChristian Urban <urbanc@in.tum.de>
Wed, 19 Jan 2011 17:54:50 +0100
changeset 2681 0e4c5fa26fa1
parent 2680 cd5614027c53
child 2682 2873b3230c44
theory name as it should be
Tutorial/Minimal.thy file | annotate | diff | comparison | revisions 
--- a/Tutorial/Minimal.thy	Wed Jan 19 17:54:06 2011 +0100
+++ b/Tutorial/Minimal.thy	Wed Jan 19 17:54:50 2011 +0100
@@ -1,5 +1,5 @@
 theory Minimal
-imports "../Nominal/Nominal2"
+imports "Nominal2"
 begin
 
 atom_decl name
nominal2