]> matita.cs.unibo.it Git - helm.git/commit
attr_list changed in vvar_list
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 14 Sep 2002 13:50:10 +0000 (13:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 14 Sep 2002 13:50:10 +0000 (13:50 +0000)
commit7646d66b5a68ad83611e19ac2634c86c16bc7d21
tree5e45ecf5eaafaf8796ad300f3f5ee1715b8c958e
parent32f737bea2029db1f4870ec8a3a39ba6d2e4a57d
attr_list changed in vvar_list
helm/ocaml/mathql/mathQL.ml