This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
playground:playground [2011/05/03 13:28] 131.246.41.159 |
playground:playground [2011/06/22 15:18] paddy |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== PlayGround ====== | ====== PlayGround ====== | ||
- | ==== Theory Template ==== | + | ~~ORPHANSWANTED:wanted~~ |
- | + | ||
- | <code> | + | |
- | theory Name imports Main | + | |
- | begin | + | |
- | + | ||
- | ... | + | |
- | + | ||
- | end | + | |
- | </code> | + | |
- | + | ||
- | ==== A Few Rules ==== | + | |
- | + | ||
- | \[ | + | |
- | \frac{\Gamma\vdash A\qquad \Gamma\vdash B}{\Gamma\vdash A\wedge B} | + | |
- | \] | + |