initial support for LaTeX-defined notatopn

[helm.git] / matita / components / binaries / matex / test / basic_1.conf.xml

diff --git a/matita/components/binaries/matex/test/basic_1.conf.xml b/matita/components/binaries/matex/test/basic_1.conf.xml
index d9d2d67dcaaf5ef77f8e7dc733f5869b762c9ac3..6292ed4ce70beb92efbcea4f43a94432b06a5c72 100644 (file)
--- a/matita/components/binaries/matex/test/basic_1.conf.xml
+++ b/matita/components/binaries/matex/test/basic_1.conf.xml
@@ -126,4 +126,94 @@
 
     <key name="sort">Type[cic:/matita/pts/Type0.univ] f a</key>
   </section>
+<!--
+matita.lambdadelta.basic_1.A.defs.A.AHead.type
+matita.lambdadelta.basic_1.A.defs.A.ASort.type
+matita.lambdadelta.basic_1.A.fwd.A_rect.A_rect.type
+matita.lambdadelta.basic_1.aplus.defs.aplus.aplus.type
+matita.lambdadelta.basic_1.app.defs.app1.app1.type
+matita.lambdadelta.basic_1.app.defs.cbk.cbk.type
+matita.lambdadelta.basic_1.aprem.defs.aprem.aprem.type
+matita.lambdadelta.basic_1.arity.defs.arity.arity.type
+matita.lambdadelta.basic_1.asucc.defs.asucc.asucc.type
+matita.lambdadelta.basic_1.C.defs.C.CHead.type
+matita.lambdadelta.basic_1.C.defs.C.CSort.type
+matita.lambdadelta.basic_1.C.defs.cle.type
+matita.lambdadelta.basic_1.C.defs.clt.type
+matita.lambdadelta.basic_1.C.defs.CTail.CTail.type
+matita.lambdadelta.basic_1.C.defs.cweight.cweight.type
+matita.lambdadelta.basic_1.C.fwd.C_rect.C_rect.type
+matita.lambdadelta.basic_1.cimp.defs.cimp.type
+matita.lambdadelta.basic_1.clear.defs.clear.clear.type
+matita.lambdadelta.basic_1.clen.defs.clen.clen.type
+matita.lambdadelta.basic_1.cnt.defs.cnt.cnt.type
+matita.lambdadelta.basic_1.csuba.defs.csuba.csuba.type
+matita.lambdadelta.basic_1.csubc.defs.csubc.csubc.type
+matita.lambdadelta.basic_1.csubst0.defs.csubst0.csubst0.type
+matita.lambdadelta.basic_1.csubst1.defs.csubst1.csubst1.type
+matita.lambdadelta.basic_1.csubt.defs.csubt.csubt.type
+matita.lambdadelta.basic_1.csubv.defs.csubv.csubv.type
+matita.lambdadelta.basic_1.drop1.defs.drop1.drop1.type
+matita.lambdadelta.basic_1.drop1.defs.ptrans.ptrans.type
+matita.lambdadelta.basic_1.drop.defs.drop.drop.type
+matita.lambdadelta.basic_1.ex0.defs.leqz.leqz.type
+matita.lambdadelta.basic_1.flt.defs.flt.type
+matita.lambdadelta.basic_1.flt.defs.fweight.type
+matita.lambdadelta.basic_1.fsubst0.defs.fsubst0.fsubst0.type
+matita.lambdadelta.basic_1.G.defs.G.mk_G.type
+matita.lambdadelta.basic_1.G.defs.next.next.type
+matita.lambdadelta.basic_1.getl.defs.getl.getl.type
+matita.lambdadelta.basic_1.iso.defs.iso.iso.type
+matita.lambdadelta.basic_1.leq.defs.leq.leq.type
+matita.lambdadelta.basic_1.lift1.defs.lift1.lift1.type
+matita.lambdadelta.basic_1.lift1.defs.lifts1.lifts1.type
+matita.lambdadelta.basic_1.lift1.defs.trans.trans.type
+matita.lambdadelta.basic_1.lift.defs.lifts.lifts.type
+matita.lambdadelta.basic_1.lift.defs.lift.type
+matita.lambdadelta.basic_1.lift.defs.lref_map.lref_map.type
+matita.lambdadelta.basic_1.llt.defs.llt.type
+matita.lambdadelta.basic_1.llt.defs.lweight.lweight.type
+matita.lambdadelta.basic_1.next_plus.defs.next_plus.next_plus.type
+matita.lambdadelta.basic_1.nf2.defs.nf2.type
+matita.lambdadelta.basic_1.nf2.defs.nfs2.nfs2.type
+matita.lambdadelta.basic_1.pc1.defs.pc1.type
+matita.lambdadelta.basic_1.pc3.defs.pc3_left.pc3_left.type
+matita.lambdadelta.basic_1.pc3.defs.pc3.type
+matita.lambdadelta.basic_1.pr0.defs.pr0.pr0.type
+matita.lambdadelta.basic_1.pr1.defs.pr1.pr1.type
+matita.lambdadelta.basic_1.pr2.defs.pr2.pr2.type
+matita.lambdadelta.basic_1.pr3.defs.pr3.pr3.type
+matita.lambdadelta.basic_1.r.defs.r.type
+matita.lambdadelta.basic_1.sc3.defs.sc3.sc3.type
+matita.lambdadelta.basic_1.s.defs.s.type
+matita.lambdadelta.basic_1.sn3.defs.sn3.sn3.type
+matita.lambdadelta.basic_1.sn3.defs.sns3.sns3.type
+matita.lambdadelta.basic_1.sty0.defs.sty0.sty0.type
+matita.lambdadelta.basic_1.sty1.defs.sty1.sty1.type
+matita.lambdadelta.basic_1.subst0.defs.subst0.subst0.type
+matita.lambdadelta.basic_1.subst1.defs.subst1.subst1.type
+matita.lambdadelta.basic_1.subst.defs.subst.subst.type
+matita.lambdadelta.basic_1.T.defs.K.Bind.type
+matita.lambdadelta.basic_1.T.defs.K.Flat.type
+matita.lambdadelta.basic_1.T.defs.tle.type
+matita.lambdadelta.basic_1.T.defs.T.THead.type
+matita.lambdadelta.basic_1.T.defs.T.TLRef.type
+matita.lambdadelta.basic_1.T.defs.T.TSort.type
+matita.lambdadelta.basic_1.T.defs.tweight.tweight.type
+matita.lambdadelta.basic_1.T.fwd.T_rect.T_rect.type
+matita.lambdadelta.basic_1.tlist.defs.TApp.TApp.type
+matita.lambdadelta.basic_1.tlist.defs.THeads.THeads.type
+matita.lambdadelta.basic_1.tlist.defs.TList.TCons.type
+matita.lambdadelta.basic_1.tlist.defs.tslen.tslen.type
+matita.lambdadelta.basic_1.tlist.defs.tslt.type
+matita.lambdadelta.basic_1.tlt.defs.tlt.type
+matita.lambdadelta.basic_1.tlt.defs.wadd.type
+matita.lambdadelta.basic_1.tlt.defs.weight_map.weight_map.type
+matita.lambdadelta.basic_1.tlt.defs.weight.type
+matita.lambdadelta.basic_1.ty3.defs.ty3.ty3.type
+matita.lambdadelta.basic_1.ty3.defs.tys3.tys3.type
+matita.lambdadelta.basic_1.ty3.nf2.ty3_nf2_inv_abst_premise.type
+matita.lambdadelta.basic_1.wcpr0.defs.wcpr0.wcpr0.type
+matita.lambdadelta.basic_1.wf3.defs.wf3.wf3.type
+-->
 </helm_registry>