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.
added deadlock
authormueller
Thu, 12 Jun 1997 16:48:03 +0200
changeset 3434 ba4f83a24ad8
parent 3433 2de17c994071
child 3435 ef4fe2a77e01
added deadlock
src/HOLCF/IOA/meta_theory/IOA.thy file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/IOA/meta_theory/IOA.thy	Thu Jun 12 16:47:15 1997 +0200
+++ b/src/HOLCF/IOA/meta_theory/IOA.thy	Thu Jun 12 16:48:03 1997 +0200
@@ -8,6 +8,6 @@
 
  
 	       
-IOA = RefCorrectness + Compositionality
+IOA = RefCorrectness + Compositionality + Deadlock
isabelle