diff options
| author | Camil Staps | 2018-04-17 11:07:20 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-04-17 11:07:20 +0200 |
| commit | 64c60cf71492ae3c40d2c4cbe11a650d32ced19d (patch) | |
| tree | 9a38efaebfb4396511998bb4839e7f6f94340c2f /Assignment1/conversion.tex | |
| parent | Start of semantic algorithm (diff) | |
Add definitions of wff, wff0, wff+, wff- (and an exercise about them)
Diffstat (limited to 'Assignment1/conversion.tex')
0 files changed, 0 insertions, 0 deletions