]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8dd922) | patch
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
tree083b07ce36033f0760efd4921aa783fc89b8b11atree | snapshot
parentd8dd9228da904dd64317ef87e0f1b499af8606bacommit | diff
added license header
helm/ocaml/cic_proof_checking/utilities/create_environment.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.