X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Falgebra%2Ffinite_groups.ma;h=8dfa31342e468a2a45676217e7cbf93e3b3101c1;hb=418b1f26ab67b824c79d1146fdb50ca29b34c1f6;hp=d3f5cf27294cba1f71251cf9b9b5f46edffd8277;hpb=8c4659819a1c1f2e450d9a588ecca37d95ae48e9;p=helm.git

diff --git a/helm/software/matita/library/algebra/finite_groups.ma b/helm/software/matita/library/algebra/finite_groups.ma
index d3f5cf272..8dfa31342 100644
--- a/helm/software/matita/library/algebra/finite_groups.ma
+++ b/helm/software/matita/library/algebra/finite_groups.ma
@@ -31,9 +31,6 @@ for @{ 'repr $C $i }.
 interpretation "Finite_enumerable representation" 'repr C i =
  (cic:/matita/algebra/finite_groups/repr.con C _ i).*)
  
-notation < "hvbox(|C|)" with precedence 89
-for @{ 'card $C }.
-
 interpretation "Finite_enumerable order" 'card C =
  (cic:/matita/algebra/finite_groups/order.con C _).