diff options
| author | puech | 2008-12-06 17:29:13 +0000 |
|---|---|---|
| committer | puech | 2008-12-06 17:29:13 +0000 |
| commit | f4b3d1ff672a4628127ffedaf3adb27348d12e6e (patch) | |
| tree | e639b863bdbac3393a94398ac90b38150f6b8989 /dev/doc | |
| parent | 33338cf1019999c5c17fcde8c0dbfd4c26ed2b7a (diff) | |
Fix exponential behaviour of the typeclasses persistent objects. Drop
unused methods object. Matthieu please review this change (after
monday), I might have introduced a bug in rebuild_instance.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11659 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions