diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-04-06 14:02:26 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-04-06 14:02:26 +1000 |
| commit | 5d7252681da3b26845fc4e5dcf0b0e94ed9fabb1 (patch) | |
| tree | 20bc0a6b62390aabda0b8c446d3a2177990863f6 /tex/presentation/thomas/proof.sty | |
| parent | 83e2c574bdefe2d040cdfbe20a73380a0f0123dd (diff) | |
Move everything into impl/ and add a Makefile.
Diffstat (limited to 'tex/presentation/thomas/proof.sty')
0 files changed, 0 insertions, 0 deletions