Commit Graph

5 Commits (a80f3453b4c8cc58810a49dbb18b25f47440f441)

Author SHA1 Message Date
Slava Pestov 55d74eeb1f remove redundant inv word; exp-int word from FSL 2005-10-31 06:10:09 +00:00
Doug Coleman 483d1951f6 Added inv 2005-10-26 01:58:59 +00:00
Doug Coleman 61169defe0 Added USING: math 2005-10-23 23:07:59 +00:00
Doug Coleman 699ebb78ea Changed to not modify the core vocabularies math and sequences
All external words are in the vocabulary math-contrib, while internal words are in their respective filename-internal
Moved dimensional analysis files to contrib/units
2005-10-23 23:07:16 +00:00
Slava Pestov 97cf160071 move more stuff to contrib/math/ 2005-10-21 07:42:38 +00:00