Import of Interval library

[SVN r16982]
This commit is contained in:
Guillaume Melquiond 2003-01-21 20:21:39 +00:00
parent 0cf50feb7d
commit 44bd6fa8a2

@ -1 +1 @@
Subproject commit 21e378f40b250205a086ef202d6d602e8e4f6bcf
Subproject commit 043246fb1b69fbea337fa8e94b813efc7a41ee03