source: Papers/polymorphic-variants-2012 @ 2517

Name Size Rev Age Author Last Change
../
ASM.ma 32.5 KB 2514   7 years sacerdot All .ma files committed: some of them are just in-progress.
infrastructure.ma 2.6 KB 2514   7 years sacerdot All .ma files committed: some of them are just in-progress.
polymorphic-variants.bib 682 bytes 2416   7 years mulligan Some more minor changes
polymorphic-variants.tex 20.5 KB 2517   7 years sacerdot
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
test2.ma 6.4 KB 2514   7 years sacerdot All .ma files committed: some of them are just in-progress.
test3.ma 4.1 KB 2514   7 years sacerdot All .ma files committed: some of them are just in-progress.
test.ma 1.5 KB 2514   7 years sacerdot All .ma files committed: some of them are just in-progress.
testb.ma 1.7 KB 2514   7 years sacerdot All .ma files committed: some of them are just in-progress.
variants.ma 2.9 KB 2514   7 years sacerdot All .ma files committed: some of them are just in-progress.
Note: See TracBrowser for help on using the repository browser.