changeset 3275 | 3f53f2c876f4 |
parent 3071 | 981258186b71 |
child 3433 | 2de17c994071 |
--- a/src/HOLCF/IOA/meta_theory/Traces.thy Wed May 21 11:27:32 1997 +0200 +++ b/src/HOLCF/IOA/meta_theory/Traces.thy Wed May 21 15:08:52 1997 +0200 @@ -1,5 +1,5 @@ (* Title: HOLCF/IOA/meta_theory/Traces.thy - ID: + ID: $Id$ Author: Olaf M"uller Copyright 1996 TU Muenchen @@ -7,7 +7,7 @@ *) -Traces = Automata + Sequence + +Traces = Sequence + Automata + default term