Cross Reference: k_poly_p_01.in
xref
: /
hets
/
CspCASL
/
SignCSP.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
k_poly_p_01.in revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
(([][][][](((p1/\p2)/\p3)/\p4)\/(<>((<>((<>(F\/<>(p1<->p2))\/[]p3)\/<><>(p2<->p3))\/[]p4)\/<><><>(p3<->p1))\/[]p5))\/[][][][](((~p2/\~p4)/\~p6)/\~p8))