source: Papers/polymorphic-variants-2012 @ 2416

Name Size Rev Age Author Last Change
../
polymorphic-variants.bib 682 bytes 2416   7 years mulligan Some more minor changes
polymorphic-variants.tex 8.1 KB 2416   7 years mulligan Some more minor changes
spbasic.bst 32.5 KB 2396   7 years mulligan Polymorphic variants paper skeleton
spmpsci.bst 29.4 KB 2396   7 years mulligan Polymorphic variants paper skeleton
spphys.bst 27.9 KB 2396   7 years mulligan Polymorphic variants paper skeleton
svglov3.clo 3.7 KB 2396   7 years mulligan Polymorphic variants paper skeleton
svjour3.cls 46.6 KB 2396   7 years mulligan Polymorphic variants paper skeleton
test3.ma 5.0 KB 2411   7 years sacerdot Extensible records implemented via option type. One axiom left.
test.ma 5.5 KB 2406   7 years sacerdot Elimination principle committed.
Note: See TracBrowser for help on using the repository browser.