diff options
| author |  emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-08-13 14:08:45 +0000 |
|---|---|---|
| committer | emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-08-13 14:08:45 +0000 |
| commit | dd547b82c2aefa5127f2aadf6925d4cdb11b92d4 (patch) | |
| tree | ef25812832f8a8ed3085c5d4b6729b115821f79b /ide/undo_lablgtk_ge26.mli | |
| parent | 25286c5883a199cb8493d95a39d601f0f890727f (diff) | |
An update on axiomatic number classes.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10075 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/undo_lablgtk_ge26.mli')
0 files changed, 0 insertions, 0 deletions