Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Makefile | 1992-12-04 12:52 | 4.9K | ||
Manual/ | 1994-02-25 10:52 | - | ||
READ-ME | 1992-12-04 12:52 | 6.1K | ||
binder.ml | 1992-12-04 12:52 | 2.9K | ||
genfuns.ml | 1992-12-04 12:52 | 630 | ||
genfuns_ml.o | 1992-12-04 12:52 | 7.8K | ||
help/ | 1992-12-04 12:52 | - | ||
info-hol.ml | 1992-12-04 12:52 | 4.0K | ||
load_wordn.ml | 1992-12-04 12:52 | 1.0K | ||
load_wordn.ml.sav | 1992-12-04 12:52 | 1.0K | ||
mk_test.ml | 1992-12-04 12:52 | 3.4K | ||
mk_test2.ml | 1992-12-04 12:52 | 2.3K | ||
mk_wordn.ml | 1992-12-04 12:52 | 514 | ||
mk_wordn_arith.ml | 1992-12-04 12:52 | 21K | ||
mk_wordn_base.ml | 1992-12-04 12:52 | 2.9K | ||
mk_wordn_bitops.ml | 1992-12-04 12:52 | 8.2K | ||
mk_wordn_ints.ml | 1992-12-04 12:52 | 28K | ||
mk_wordn_num.ml | 1992-12-04 12:52 | 9.3K | ||
more_integers.ml | 1992-12-04 12:52 | 18K | ||
more_integers.th | 1992-12-04 12:52 | 6.3K | ||
oconv.ml | 1992-12-04 12:52 | 16K | ||
oconv_ml.o | 1992-12-04 12:52 | 82K | ||
wordn.ml | 1992-12-04 12:52 | 2.4K | ||
wordn.th | 1992-12-04 12:52 | 369 | ||
wordn_base.th | 1992-12-04 12:52 | 2.6K | ||
wordn_bit_op.ml | 1992-12-04 12:52 | 8.2K | ||
wordn_bit_op_ml.o | 1992-12-04 12:52 | 37K | ||
wordn_bitops.th | 1992-12-04 12:52 | 10K | ||
wordn_bits.ml | 1992-12-04 12:52 | 37K | ||
wordn_bits_ml.o | 1992-12-04 12:52 | 152K | ||
wordn_conv.ml | 1992-12-04 12:52 | 5.5K | ||
wordn_conv_ml.o | 1992-12-04 12:52 | 25K | ||
wordn_ints.th | 1992-12-04 12:52 | 6.7K | ||
wordn_num.ml | 1992-12-04 12:52 | 19K | ||
wordn_num.th | 1992-12-04 12:52 | 3.9K | ||
wordn_num_ml.o | 1992-12-04 12:52 | 76K | ||
wordn_nval.ml | 1992-12-04 12:52 | 6.1K | ||
wordn_pack.ml | 1992-12-04 12:52 | 5.7K | ||
wordn_rules.ml | 1992-12-04 12:52 | 32K | ||
wordn_rules_ml.o | 1992-12-04 12:52 | 107K | ||
wordn_tacs.ml | 1992-12-04 12:52 | 569 | ||
wordn_tacs_ml.o | 1992-12-04 12:52 | 4.9K | ||