diff options
Diffstat (limited to 'CREDITS')
-rw-r--r-- | CREDITS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -56,6 +56,8 @@ parsing/search.ml developed by Yves Bertot (INRIA-Lemme, 2000-2004) theories/ZArith started by Pierre Crégut (France Telecom R&D, 1996) +theories/IntMap + developed by Jean Goubault-Larrecq (Dyade, 1998) ide/ developed by Benjamin Monate (LRI, 2003) with contributions from Claude Marché (INRIA, 2003-2004); some files from ide/utils |