/NOTES/1.1/Wed Mar 17 13:39:21 1999//
/README/1.1/Wed Mar 17 13:39:21 1999//
/constants.elf/1.1/Wed Mar 17 13:39:21 1999//
/eqtype-lemmas.elf/1.1/Wed Mar 17 13:39:21 1999//
/eqtypes.elf/1.1/Wed Mar 17 13:39:22 1999//
/equnits-alg.elf/1.1/Wed Mar 17 13:39:22 1999//
/equnits-sound.elf/1.1/Wed Mar 17 13:39:22 1999//
/equnits.elf/1.1/Wed Mar 17 13:39:23 1999//
/eval.elf/1.1/Wed Mar 17 13:39:23 1999//
/examples.quy/1.1/Wed Mar 17 13:39:23 1999//
/language.elf/1.1/Wed Mar 17 13:39:24 1999//
/number.elf/1.1/Wed Mar 17 13:39:24 1999//
/sources.cfg/1.1/Wed Mar 17 13:39:24 1999//
/test.cfg/1.1/Wed Mar 17 13:39:24 1999//
/tp-complete.elf/1.1/Wed Mar 17 13:39:26 1999//
/tp-inf.elf/1.1/Wed Mar 17 13:39:26 1999//
/tp-preserve.elf/1.1/Wed Mar 17 13:39:27 1999//
/tp-rules.elf/1.1/Wed Mar 17 13:39:27 1999//
/tp-sound.elf/1.1/Wed Mar 17 13:39:27 1999//
/types.elf/1.1/Wed Mar 17 13:39:28 1999//
/units.elf/1.1/Wed Mar 17 13:39:28 1999//
/value.elf/1.1/Wed Mar 17 13:39:28 1999//
D
