Mercurial Mercurial > hg > sen-material / 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.
added
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 12 Nov 2013 21:13:00 +0000
changeset 132 53e24ca037ce
parent 131 d35b2ee2e788
child 133 3342571ec447
added
progs/prove.scala file | annotate | diff | comparison | revisions 
--- a/progs/prove.scala	Tue Nov 12 14:40:46 2013 +0000
+++ b/progs/prove.scala	Tue Nov 12 21:13:00 2013 +0000
@@ -118,7 +118,7 @@
 
 val Chr = "Christian"
 val HoD = "Peter"
-val Email = Pred("may_btain_email", List(Const(Chr)))
+val Email = Pred("may_obtain_email", List(Const(Chr)))
 val AtLib = Pred("is_at_library", List(Const(Chr)))
 val Chr_Staff = Pred("is_staff", List(Const(Chr)))
 
@@ -126,6 +126,6 @@
 val Policy_Lib = And(Chr_Staff, AtLib) -> Email
 val HoD_says = HoD says Chr_Staff
 
-run (Set[Form](AtLib, Policy_HoD, Policy_Lib, HoD_says) |- Email)
+run (Set[Form](AtLib, Policy_HoD, Policy_Lib) |- Email)
sen-material