_CoqProject

-R . Top

existsT.v
rtcT.v
swappedT.v
genT.v
gen_tacs.v
gen_seq.v
dd_fc.v
ddT.v
gen.v
strong_inductionT.v
gstep.v
List_lemmasT.v
univ_gen_ext.v
GLS_PSGLS_calcs.v
GLS_PSGLS_list_lems.v
GLS_PSGLS_remove_list.v
PSGLS_termination_measure.v
GLS_PSGLS_dec.v
PSGLS_termination.v
GLS_exch.v
GLS_wkn.v
GLS_inv_ImpR_ImpL.v
GLS_ctr.v
GLS_additive_cut.v