diff options
| author | jforest | 2006-04-10 15:51:57 +0000 |
|---|---|---|
| committer | jforest | 2006-04-10 15:51:57 +0000 |
| commit | fbf8b216764d8854ceabfe007c26c9b079fd5928 (patch) | |
| tree | ef704fc0cbe666f00506ceec5d66a127dd6ab3ba /doc/tutorial/Tutorial.tex | |
| parent | 264af456f928ee4e329b07449fec6846f78e0d93 (diff) | |
+ Changing a little functional schemes types
+ New tactic to prove functions schemes
+ Add a command "Generate graph for <functionname>" to generate automatiquelly
the graph associated to a function (usefull only when the function
has not been defined by GenFixpoint).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8694 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions