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