examples |
terms with special features |
- ex_sta_ldec ex_cpr_omega ex_fpbg_refl |
+ ex_sta_ldec ex_cpr_omega ex_fpbg_refl ex_snv_eta |
|
@@ -307,7 +374,7 @@
snv ( �,?⦠⢠? ¡[?,?] ) |
- snv_lift snv_aaa snv_da_lpr snv_lstas snv_lstas_lpr snv_lpr snv_scpes snv_preserve |
+ snv_lift snv_aaa snv_da_lpr snv_lstas snv_lstas_lpr snv_lpr snv_fsb snv_scpes snv_preserve |
|
@@ -386,8 +453,8 @@
strongly normalizing qrst-computation |
- fsb ( �,?⦠⢠⦥[?,?] ? ) |
- fsb_alt ( �,?⦠⢠⦥⦥[?,?] ? ) |
+ fsb ( ⦥[?,?] �,?,?⦠) |
+ fsb_alt ( ⦥⦥[?,?] �,?,?⦠) |
fsb_aaa fsb_csx |
@@ -515,7 +582,7 @@
|
cpxs ( â¦?,?⦠⢠? â¡*[?,?] ? ) |
- cpxs_tsts cpxs_tsts_vector cpxs_leq cpxs_lift cpxs_lleq cpxs_aaa cpxs_cpxs |
+ cpxs_tsts cpxs_tsts_vector cpxs_lreq cpxs_lift cpxs_lleq cpxs_aaa cpxs_cpxs |
|
@@ -641,7 +708,7 @@
cpx ( â¦?,?⦠⢠? â¡[?,?] ? ) |
- cpx_leq cpx_lift cpx_llpx_sn cpx_lleq cpx_cix |
+ cpx_lreq cpx_lift cpx_llpx_sn cpx_lleq cpx_cix |
|
@@ -879,7 +946,7 @@
lleq ( ? â¡[?,?] ? ) |
- lleq_alt lleq_alt_rec lleq_leq lleq_drop lleq_fqus lleq_llor lleq_lleq |
+ lleq_alt lleq_alt_rec lleq_lreq lleq_drop lleq_fqus lleq_llor lleq_lleq |
|
@@ -893,7 +960,7 @@
lazy pointwise extension of a relation |
llpx_sn |
- llpx_sn_alt llpx_sn_alt_rec llpx_sn_tc llpx_sn_leq llpx_sn_drop llpx_sn_lpx_sn llpx_sn_frees llpx_sn_llor |
+ llpx_sn_alt llpx_sn_alt_rec llpx_sn_tc llpx_sn_lreq llpx_sn_drop llpx_sn_lpx_sn llpx_sn_frees llpx_sn_llor |
|
@@ -921,7 +988,7 @@
context-sensitive exclusion from free variables |
frees ( ? ⢠? ϵ ð
*[?]�⦠) |
- frees_append frees_leq frees_lift |
+ frees_append frees_lreq frees_lift |
|
@@ -1117,7 +1184,7 @@
basic local env. slicing |
drop ( â¬[?,?,?] ? â¡ ? ) |
- drop_append drop_leq drop_drop |
+ drop_append drop_lreq drop_drop |
|
@@ -1158,8 +1225,8 @@