From c66c77bf74eb6e2f1ef011e9593a54bf4d19111b Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 26 Oct 2010 16:01:09 +0000
Subject: [PATCH] add some virtuals

---
 helm/software/matita/predefined_virtuals.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/helm/software/matita/predefined_virtuals.ml b/helm/software/matita/predefined_virtuals.ml
index 49d5f866d..0a51d8a7c 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"; "𝟞"; ] ;
-- 
2.39.2