PrintForm Definitions action sets Sections AutomataTheory Doc

At: aset act wf

T:Type, a:ActionSet(T). a.act Ta.cara.car
By: ModulePiTac 2 [`aset_car`;`aset_act`]
Generated subgoals:

None

About:
alluniversememberfunction