3 open Mathql_semantics;;
6 (* stampa tutti i documenti che fanno match con un pattern di input *)
8 (function atturi -> print_endline ("output: " ^ atturi))
15 [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD; MQBC"NEG_anti_convert.con"],
16 (* [MQBSS; MQBC ".con"],*)