- improved support for case

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

diff --git a/matita/components/binaries/matex/test/ground_1.conf.xml b/matita/components/binaries/matex/test/ground_1.conf.xml
index cb5860c1f830665fa045b700de3b964511f8f7f2..77d65746f153c69057c610ddc20a9bc7f69c796e 100644 (file)
--- a/matita/components/binaries/matex/test/ground_1.conf.xml
+++ b/matita/components/binaries/matex/test/ground_1.conf.xml
@@ -1,12 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
 <!--
-matita.lambdadelta.ground_1.blt.defs.blt.blt.type
-matita.lambdadelta.ground_1.plist.defs.papp.papp.type
-matita.lambdadelta.ground_1.plist.defs.PConsTail.PConsTail.type
-matita.lambdadelta.ground_1.plist.defs.PList.PCons.type
-matita.lambdadelta.ground_1.plist.defs.Ss.Ss.type
-matita.lambdadelta.ground_1.types.defs.and3.and3.type
 matita.lambdadelta.ground_1.types.defs.ex2_2.ex2_2.type
 matita.lambdadelta.ground_1.types.defs.ex2_3.ex2_3.type
 matita.lambdadelta.ground_1.types.defs.ex_2.ex_2.type
@@ -24,5 +18,12 @@ matita.lambdadelta.ground_1.types.defs.ex5_3.ex5_3.type
 matita.lambdadelta.ground_1.types.defs.ex6_6.ex6_6.type
 matita.lambdadelta.ground_1.types.defs.or3.or3.type
 matita.lambdadelta.ground_1.types.defs.or4.or4.type
+matita.lambdadelta.ground_1.types.defs.and3.and3.type
+
+matita.lambdadelta.ground_1.blt.defs.blt.blt.type
+matita.lambdadelta.ground_1.plist.defs.papp.papp.type
+matita.lambdadelta.ground_1.plist.defs.PConsTail.PConsTail.type
+matita.lambdadelta.ground_1.plist.defs.PList.PCons.type
+matita.lambdadelta.ground_1.plist.defs.Ss.Ss.type
 -->
 </helm_registry>