source:
Papers/polymorphic-variants-2012
@
2497
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| test.ma | 5.5 KB | 2406 | 8 years | Elimination principle committed. | |
| test3.ma | 5.0 KB | 2411 | 8 years | Extensible records implemented via option type. One axiom left. | |
| svjour3.cls | 46.6 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
| svglov3.clo | 3.7 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
| spphys.bst | 27.9 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
| spmpsci.bst | 29.4 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
| spbasic.bst | 32.5 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
| prooftree.sty | 12.3 KB | 2424 | 8 years | Changes to the file including making a start on incorporating … | |
| polymorphic-variants.tex | 13.1 KB | 2427 | 8 years | More work on explanation. | |
| polymorphic-variants.bib | 682 bytes | 2416 | 8 years | Some more minor changes | |
Note: See TracBrowser
for help on using the repository browser.
