(* Progetto FreeScale *)
(* *)
(* Sviluppato da: Ing. Cosimo Oliboni, oliboni@cs.unibo.it *)
-(* Ultima modifica: 05/08/2009 *)
+(* Sviluppo: 2008-2010 *)
(* *)
(* ********************************************************************** *)
include "common/string.ma".
-include "common/ascii_lemmas2.ma".
-include "common/ascii_lemmas3.ma".
-include "common/ascii_lemmas4.ma".
-include "common/ascii_lemmas5.ma".
+include "common/ascii_lemmas.ma".
include "common/list_utility_lemmas.ma".
(* ************************ *)