Thms grammar 1 Sections AutomataTheory Doc

rev_implies Def P Q == Q P

Thm* A,B:Prop. (A B) Prop

About:
!abstractionimpliesallpropmember