Index of /home/lego/html/release-1.3
Name Last modified Size Description
official.html 1999-08-19 16:29 4.4K
refcard.ps.gz 1998-11-11 12:15 94K
knownbugs.html 1998-10-24 12:52 3.2K
newfeatures.html 1998-06-23 16:49 2.5K
utac.html 1998-06-23 16:46 2.7K
theorems.html 1998-06-23 16:44 4.1K
then.html 1998-06-23 16:43 4.0K
objectcomp/ 1998-06-23 16:41 -
patterns.html 1998-06-23 16:36 1.6K
qnify.html 1998-06-23 16:34 6.0K
inversion.html 1998-06-23 16:30 4.1K
induction.html 1998-06-23 16:24 3.6K
config_eq.html 1998-06-23 16:24 2.5K
assumption.html 1998-06-23 16:23 2.3K
infix.html 1998-06-23 16:22 2.4K
elim_rel.html 1998-06-23 16:18 2.8K
library/ 1998-06-15 16:08 -