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.
deleted special Nominal2_FSet theory
authorChristian Urban <urbanc@in.tum.de>
Sun, 14 Nov 2010 12:09:14 +0000
changeset 2567 41137dc935ff
parent 2566 a59d8e1e3a17
child 2568 8193bbaa07fe
deleted special Nominal2_FSet theory
Nominal/Nominal2_FSet.thy file | annotate | diff | comparison | revisions 
--- a/Nominal/Nominal2_FSet.thy	Sun Nov 14 11:46:39 2010 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-theory Nominal2_FSet
-imports "../Nominal-General/Nominal2_Base"
-        "../Nominal-General/Nominal2_Eqvt"
-begin
-
-
-
-
-end
nominal2