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 | 71ae76352ae80b735b1f3409d2bce81bea90c5a7 (patch) | |
| tree | 70fee330ce7b7c0b3d4b7cf7246ded4aa19cb348 /doc/tlc.ur | |
| parent | 9dff0264c018117f3356f409bc42fea3bb6b57d5 (diff) | |
Manual: add a pointer to background reading on inference rule notation
Diffstat (limited to 'doc/tlc.ur')
0 files changed, 0 insertions, 0 deletions