diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-11-17 07:54:59 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-11-17 07:54:59 -0500 |
| commit | 1f1fc5c83dae5167133a56ecae33692a0d6444db (patch) | |
| tree | 70fee330ce7b7c0b3d4b7cf7246ded4aa19cb348 /demo/prose | |
| parent | 4259d248050c93180767c076469431f11b8fe984 (diff) | |
Manual: add a pointer to background reading on inference rule notation
Diffstat (limited to 'demo/prose')
0 files changed, 0 insertions, 0 deletions