(6steps) PrintForm Definitions Lemmas mb hybrid Sections GenAutomata Doc

At: remove msgs disjoint 1 1 1 1 1
1. A: Type
2. msg: AA
3. L1: A List
4. L2: A List
5. a,b:A. (a L1) (b L2) msg(a,b)
6. x: A
7. (x L1)
8. b: A
9. (b L2)

msg(x,b)
By: Easy
Generated subgoals:

None

About:
listboolassertapplyfunctionuniverseimpliesall

(6steps) PrintForm Definitions Lemmas mb hybrid Sections GenAutomata Doc