Cross Reference: kkd2.in
xref
: /
hets
/
Isabelle
/
Translate.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
kkd2.in revision 74b23191c8f49798f7513f324bbdbbe32f8a1db2
T -> (<>F)\/~([]T/\T)<->(<>~F<-T)