isabelle: File revisions

src/Pure/net.ML

1999-10-27	oheimb	now more than 256 generated bound variables possible	file \| diff \| annotate
1999-04-29	nipkow	Eta contraction is now performed all the time during rewriting.	file \| diff \| annotate
1997-07-23	wenzelm	fixed polymorphic val;	file \| diff \| annotate
1997-07-22	wenzelm	tuned title;	file \| diff \| annotate
1997-07-22	wenzelm	added dest and merge operations;	file \| diff \| annotate
1997-03-25	paulson	Toby's better treatment of eta-contraction	file \| diff \| annotate
1997-03-14	nipkow	Avoid eta-contraction in the simplifier.	file \| diff \| annotate
1997-02-21	paulson	Replaced "flat" by the Basis Library function List.concat	file \| diff \| annotate
1996-11-26	paulson	Eta-expansion of a function definition, for value polymorphism	file \| diff \| annotate
1996-02-16	paulson	Elimination of fully-functorial style.	file \| diff \| annotate
1996-01-29	clasohm	inserted tabs again	file \| diff \| annotate
1996-01-29	clasohm	removed tabs	file \| diff \| annotate
1994-01-18	nipkow	some optimizations of Larry's	file \| diff \| annotate
1994-01-14	nipkow	optimized net for matching of abstractions to speed up simplifier	file \| diff \| annotate
1993-09-16	clasohm	Initial revision	file \| diff \| annotate

isabelle