GenAutomata
Sections
NuprlLIB
Doc
Def
P refines Q ==
tr:|E| List. P(tr)
Q(tr)
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
tr:|E| List. P(tr) 
Q(tr)