source: Papers/polymorphic-variants-2012 @ 2425

Name Size Rev Age Author Last Change
../
polymorphic-variants.bib 682 bytes 2416   7 years mulligan Some more minor changes
polymorphic-variants.tex 11.2 KB 2425   7 years mulligan Garrigue's stuff completely added to the paper. Need to explain the …
prooftree.sty 12.3 KB 2424   7 years mulligan Changes to the file including making a start on incorporating …
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.