]> matita.cs.unibo.it Git - helm.git/history - helm/mathql_test/mQGTopParser.mly
the case Appl Meta vs t was not executed in case t was a Constant,Mutcase,Cofix,Fix...
[helm.git] / helm / mathql_test / mQGTopParser.mly
2003-07-02 Ferruccio Guidimathql_generator: new constraint format (more type...