diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-11-14 09:02:00 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-11-14 09:02:00 -0500 |
| commit | 3e601bff93e4b17c27cd1e36a459e0c2119e65c1 (patch) | |
| tree | c2cb39ea8a18d078cff01663e9a2fdf993daba51 /demo/batchFun.urs | |
| parent | 8b93dec6b28b7b7af8b251092edac7d050d664f9 (diff) | |
Fix completely broken manual description of 'view'
Diffstat (limited to 'demo/batchFun.urs')
0 files changed, 0 insertions, 0 deletions