Add style files
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 10 Jan 2003 15:44:54 +0000 (15:44 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 10 Jan 2003 15:44:54 +0000 (15:44 +0000)
commit8ecaaa1b0f314e5b20c52d7b0fe909604ce3d1e6
tree92ad54067cb3e8d5ea4dd6951cf88e6698626285
parentef4291fd3db7260d0a3c9ee112a77774cee282c8
Add style files
styles/code.sty [new file with mode: 0644]
styles/proof.sty [new file with mode: 0644]