0

top next

AC_1_0

AC_1_0_wf

callbyvalueall_seq-combine2-0

callbyvalueall_seq-combine3-0

concat-lifting-0

concat-lifting-0_wf

concat-lifting-loc-0

concat-lifting-loc-0_wf

hdf-compose2-transformation1-2-0

hdf-parallel-transformation1-2-0

hdf-parallel-transformation2-0

lastn-0

lifting-0

lifting-0_wf

lifting-loc-0

lifting-loc-0_wf

near-fixpoint-on-0-1

rec-combined-class-0

rec-combined-class-0_wf

rec-combined-loc-class-0

rec-combined-loc-class-0_wf

send-once-loc-class-eq-once-simple-loc-comb-0

simple-comb-0

simple-comb-0_wf

simple-loc-comb-0

simple-loc-comb-0_wf

00

prev top next

axiom-choice-00-quot

0X

prev top

axiom-choice-0X-quot