diff options
| author | W-M-T | 2016-06-12 11:56:03 +0200 |
|---|---|---|
| committer | W-M-T | 2016-06-12 11:56:03 +0200 |
| commit | 0bd2664c37b21274f4233a3dc0666f0f5c986a77 (patch) | |
| tree | d16258adc18de883f19c8975a9c5e0043346a13a /rule-defs.tex | |
| parent | Hulp bij bewijzen (diff) | |
Turned explanation into list
Diffstat (limited to 'rule-defs.tex')
0 files changed, 0 insertions, 0 deletions