Mercurial Mercurial > hg > tm / 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.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 27 Jul 2013 08:14:01 +0200
changeset 281 00ac265b251b
parent 280 19a4ac992823
child 282 02b6fab379ba
updated
slides2.pdf file | annotate | diff | comparison | revisions
thys2/Recs.thy file | annotate | diff | comparison | revisions 
Binary file slides2.pdf has changed
--- a/thys2/Recs.thy	Wed Jul 24 16:25:03 2013 +0200
+++ b/thys2/Recs.thy	Sat Jul 27 08:14:01 2013 +0200
@@ -569,6 +569,7 @@
 
 section {* Bounded Maximisation *}
 
+
 fun BMax_rec where
   "BMax_rec R 0 = 0"
 | "BMax_rec R (Suc n) = (if R (Suc n) then (Suc n) else BMax_rec R n)"
tm