]> matita.cs.unibo.it Git - helm.git/commit
more virtuals
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Sep 2009 12:58:16 +0000 (12:58 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Sep 2009 12:58:16 +0000 (12:58 +0000)
commite8c5ee47727e607b3f6b8e5259f49a051bb8a92e
tree01aa55f7d9628801fb24a5c61888e172c156a563
parente950fb06ecbee032b204461475d47be44303bf91
more virtuals
helm/software/matita/predefined_virtuals.ml