• Francois Bobot's avatar
    · 23ca2d16
    Francois Bobot authored
       - Util : Ajout de Creation generique de Set,Map et Hashtbl 
                quand on a un tag et une egalitée physique
       - Hashweak : Implementation de l'idee de Jean-Christophe et Andreï
       - Register : Simplification des types comme demandé par Jean-Christophe
                    Mise à jour des fichiers qui en dépendait
       - Theory   : Ajout d'une facilité de création des th_inst
       - Encoding_decorate : Prelude pour l'encodage de Stéphane en utilisant flat_theory d'Andreï
       - Ty : Ajout de Sty, Mty et Hty
       - Main : Reduction de la taille des lignes à 80 colonnes
    
    23ca2d16
inlining.mli 1.96 KB