src/Pure/net.ML
1994-01-18 nipkow 1994-01-18 some optimizations of Larry's
1994-01-14 nipkow 1994-01-14 optimized net for matching of abstractions to speed up simplifier
1993-09-16 clasohm 1993-09-16 Initial revision