update in lib

[helm.git] / matita / matita / lib / basics / core_notation.ma

diff --git a/matita/matita/lib/basics/core_notation.ma b/matita/matita/lib/basics/core_notation.ma
index 54bfd22d512e7917f7102f9c5f7ee165f2695e0c..52ca7e961a499ddc7d4d36bc4898a038696a2b16 100644 (file)
--- a/matita/matita/lib/basics/core_notation.ma
+++ b/matita/matita/lib/basics/core_notation.ma
@@ -277,8 +277,6 @@ for @{ 'union $a $b }. (* \cup *)
 
 (* other notations **********************************************************)
 
-notation "| term 19 C |" with precedence 70 for @{ 'card $C }.
-
 notation "\naturals" non associative with precedence 90 for @{'N}.
 notation "\rationals" non associative with precedence 90 for @{'Q}.
 notation "\reals" non associative with precedence 90 for @{'R}.