]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b309e9b) | patch
library: added solution to POPLMark challenge part 1a (transitivity of Fsub subtyping)
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 30 Nov 2006 16:14:12 +0000 (16:14 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 30 Nov 2006 16:14:12 +0000 (16:14 +0000)
commite32bda6193273d41ae80ba91fef6962008696a56
tree721ca1ee13ce797b233b2fc7e279898b752765cctree | snapshot
parentb309e9baa51822004379ce6364e138e5e803efe4commit | diff
library: added solution to POPLMark challenge part 1a (transitivity of Fsub subtyping)
matita/library/Fsub/defn.ma [new file with mode: 0644] blob
matita/library/Fsub/part1a.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.