diff options
| author | Enrico Tassi | 2015-03-22 12:21:34 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-03-22 12:21:34 +0100 |
| commit | f2feb92ba9bd6ff594d8112b52aa6000d5b337c8 (patch) | |
| tree | 1597ca39cc773d5b79a34fc5f57a080960fe2670 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | deadfb32365e903378515b1004e5109d47720411 (diff) | |
STM: do not delegate proofs containing Print
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions