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.
Another string in the specification.
authorCezary Kaliszyk <kaliszyk@in.tum.de>
Wed, 27 Jan 2010 13:44:05 +0100
changeset 962 8a16d6c45720
parent 961 0f88e04eb486
child 965 76ccc320b684
child 966 8ba35ce16f7e
Another string in the specification.
Quot/Nominal/Test.thy file | annotate | diff | comparison | revisions 
--- a/Quot/Nominal/Test.thy	Wed Jan 27 13:32:28 2010 +0100
+++ b/Quot/Nominal/Test.thy	Wed Jan 27 13:44:05 2010 +0100
@@ -222,7 +222,7 @@
 | "f (PD (x,y)) = {x,y}"
 
 nominal_datatype trm2 =
-  Var2 "string"
+  Var2 "name"
 | App2 "trm2" "trm2"
 | Lam2 x::"name" t::"trm2"          bindset x in t 
 | Let2 p::"pat2" "trm2" t::"trm2"   bind "f2 p" in t
nominal2