X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fpredefined_virtuals.ml;h=49d5f866dd93dbbad6749cf6c3cfaba1687a98bd;hb=a90c31c1b53222bd6d57360c5ba5c2d0fe7d5207;hp=0a51d8a7caf192019b2aebb43bc6293c6d65777a;hpb=4377e950998c9c63937582952a79975947aa9a45;p=helm.git

diff --git a/helm/software/matita/predefined_virtuals.ml b/helm/software/matita/predefined_virtuals.ml
index 0a51d8a7c..49d5f866d 100644
--- a/helm/software/matita/predefined_virtuals.ml
+++ b/helm/software/matita/predefined_virtuals.ml
@@ -1567,9 +1567,9 @@ let predefined_classes = [
  ["z"; "ζ"; "𝕫"; "𝐳"; "𝛇"; ] ;
  ["Z"; "ℨ"; "ℤ"; "𝐙";] ;
  ["0"; "𝟘"; ] ;
- ["1"; "𝟙"; "¹"] ;
- ["2"; "𝟚"; "²"] ;
- ["3"; "𝟛"; "³"] ;
+ ["1"; "𝟙"; ] ;
+ ["2"; "𝟚"; ] ;
+ ["3"; "𝟛"; ] ;
  ["4"; "𝟜"; ] ;
  ["5"; "𝟝"; ] ;
  ["6"; "𝟞"; ] ;