diff options
| author | Thomas Bauereiss | 2018-05-18 16:57:50 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-18 20:11:24 +0100 |
| commit | e2aa34b0ba28d89eab9f845fe904d4fdebb17395 (patch) | |
| tree | 9c6876af33071cd5f298573d5963400cc7e81cdf /src/pp.ml | |
| parent | 1644cf140a58b53ebfaebd90559d5a449df9e270 (diff) | |
Make named theorem collections of state monad more fine-grained
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions