diff options
| author | Yves Bertot | 2018-05-11 17:19:37 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-11 17:23:48 +0200 |
| commit | 1117a348c1ca11833ae12361500d08c62fd8f76b (patch) | |
| tree | 794fe3576371fb5e951d3f86492fc5c0198d1891 /doc/plugin_tutorial/tuto0/src/tuto0_plugin.mlpack | |
| parent | 9559285108ec87ad7a813bcb208145a04e86ab5c (diff) | |
This version contains documentation for the code of the packing tactic
warning have been removed
Examples for the use of type classes and canonical structures in
automatic proof have been moved to the end.
Diffstat (limited to 'doc/plugin_tutorial/tuto0/src/tuto0_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions