Mercurial Mercurial > hg > nominal2 / 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.
Pearl/Paper.thy
changeset 1774 c34347ec7ab3
parent 1772 48c2eb84d5ce
child 1776 0c958e385691 
--- a/Pearl/Paper.thy	Sat Apr 03 22:31:11 2010 +0200
+++ b/Pearl/Paper.thy	Sun Apr 04 21:39:28 2010 +0200
@@ -1,9 +1,9 @@
 (*<*)
 theory Paper
-imports "../Nominal/Nominal2_Base" 
-        "../Nominal/Nominal2_Atoms" 
-        "../Nominal/Nominal2_Eqvt" 
-        "../Nominal/Atoms" 
+imports "../Nominal-General/Nominal2_Base" 
+        "../Nominal-General/Nominal2_Atoms" 
+        "../Nominal-General/Nominal2_Eqvt" 
+        "../Nominal-General/Atoms" 
         "LaTeXsugar"
 begin
nominal2