]> matita.cs.unibo.it Git - helm.git/commit
added license header
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 23 Apr 2005 12:58:07 +0000 (12:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 23 Apr 2005 12:58:07 +0000 (12:58 +0000)
commit442bd273b4f1c987107d0c59775a9f241a9447c6
tree083b07ce36033f0760efd4921aa783fc89b8b11a
parentd8dd9228da904dd64317ef87e0f1b499af8606ba
added license header
helm/ocaml/cic_proof_checking/utilities/create_environment.ml