changeset 4816 | 64f075872f69 |
parent 4559 | 8e604d885b54 |
--- a/src/HOLCF/IOA/meta_theory/TrivEx2.thy Tue Apr 21 17:21:42 1998 +0200 +++ b/src/HOLCF/IOA/meta_theory/TrivEx2.thy Tue Apr 21 17:22:03 1998 +0200 @@ -6,7 +6,7 @@ Trivial Abstraction Example with fairness *) -TrivEx2 = Abstraction + TLS + IOA + +TrivEx2 = Abstraction + IOA + datatype action = INC