equal
deleted
inserted
replaced
68 val nchotomyN: string |
68 val nchotomyN: string |
69 val recN: string |
69 val recN: string |
70 val recsN: string |
70 val recsN: string |
71 val rel_coinductN: string |
71 val rel_coinductN: string |
72 val rel_strong_coinductN: string |
72 val rel_strong_coinductN: string |
|
73 val relsN: string |
73 val rvN: string |
74 val rvN: string |
|
75 val sel_corecsN: string |
|
76 val sel_relsN: string |
74 val sel_unfoldsN: string |
77 val sel_unfoldsN: string |
75 val sel_corecsN: string |
|
76 val set_inclN: string |
78 val set_inclN: string |
77 val set_set_inclN: string |
79 val set_set_inclN: string |
78 val simpsN: string |
80 val simpsN: string |
79 val srel_coinductN: string |
81 val srel_coinductN: string |
80 val srel_strong_coinductN: string |
82 val srel_strong_coinductN: string |
224 val ctor_inductN = ctorN ^ "_" ^ inductN |
226 val ctor_inductN = ctorN ^ "_" ^ inductN |
225 val ctor_induct2N = ctor_inductN ^ "2" |
227 val ctor_induct2N = ctor_inductN ^ "2" |
226 val dtor_coinductN = dtorN ^ "_" ^ coinductN |
228 val dtor_coinductN = dtorN ^ "_" ^ coinductN |
227 val rel_coinductN = relN ^ "_" ^ coinductN |
229 val rel_coinductN = relN ^ "_" ^ coinductN |
228 val srel_coinductN = srelN ^ "_" ^ coinductN |
230 val srel_coinductN = srelN ^ "_" ^ coinductN |
229 val simpN = "_simp"; |
|
230 val ctor_srelN = ctorN ^ "_" ^ srelN |
231 val ctor_srelN = ctorN ^ "_" ^ srelN |
231 val dtor_srelN = dtorN ^ "_" ^ srelN |
232 val dtor_srelN = dtorN ^ "_" ^ srelN |
232 val ctor_relN = ctorN ^ "_" ^ relN |
233 val ctor_relN = ctorN ^ "_" ^ relN |
233 val dtor_relN = dtorN ^ "_" ^ relN |
234 val dtor_relN = dtorN ^ "_" ^ relN |
234 val strongN = "strong_" |
235 val strongN = "strong_" |
245 val disc_unfoldsN = discN ^ "_" ^ unfoldsN |
246 val disc_unfoldsN = discN ^ "_" ^ unfoldsN |
246 val disc_corecsN = discN ^ "_" ^ corecsN |
247 val disc_corecsN = discN ^ "_" ^ corecsN |
247 val iffN = "_iff" |
248 val iffN = "_iff" |
248 val disc_unfold_iffN = discN ^ "_" ^ unfoldN ^ iffN |
249 val disc_unfold_iffN = discN ^ "_" ^ unfoldN ^ iffN |
249 val disc_corec_iffN = discN ^ "_" ^ corecN ^ iffN |
250 val disc_corec_iffN = discN ^ "_" ^ corecN ^ iffN |
|
251 val relsN = relN ^ "s" |
250 val selN = "sel" |
252 val selN = "sel" |
|
253 val sel_relsN = selN ^ "_" ^ relsN |
251 val sel_unfoldsN = selN ^ "_" ^ unfoldsN |
254 val sel_unfoldsN = selN ^ "_" ^ unfoldsN |
252 val sel_corecsN = selN ^ "_" ^ corecsN |
255 val sel_corecsN = selN ^ "_" ^ corecsN |
253 |
256 |
254 val mk_common_name = space_implode "_"; |
257 val mk_common_name = space_implode "_"; |
255 |
258 |