Mercurial Mercurial > repos > isabelle / 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.
Dummy change to document the change in revision 1.5:
authorsandnerr
Fri, 13 Dec 1996 12:01:26 +0100
changeset 2380 90280b3a538b
parent 2379 2e55b396e24c
child 2381 d00e6f44df79
Dummy change to document the change in revision 1.5: Parent theory changed to HOLCF.thy (former Tr2.thy) . Was necessary because the use of HOLCF_ss in Hoare.ML, which has been extended by the introduction of the Lift theories.
src/HOLCF/ex/Hoare.thy file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/ex/Hoare.thy	Fri Dec 13 11:46:20 1996 +0100
+++ b/src/HOLCF/ex/Hoare.thy	Fri Dec 13 12:01:26 1996 +0100
@@ -21,7 +21,7 @@
 
 *)
 
-Hoare = HOLCF +
+Hoare = HOLCF + 
 
 consts
         b1:: "'a -> tr"
isabelle