1994-01-24 wenzelm added is_empty: env -> bool, minidx: env -> int option;
1994-01-20 nipkow added HOLCF
1994-01-20 nipkow removed square and fact
1994-01-19 nipkow HOLCF examples
1994-01-19 nipkow Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
1994-01-19 wenzelm commented out sig constraint of functor (for debugging purposes);
Loading...
(0) -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip