| Thu, 05 Mar 2009 08:23:11 +0100 | haftmann | set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax | file | diff | annotate |
| Wed, 31 Dec 2008 15:30:10 +0100 | wenzelm | moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); | file | diff | annotate |
| Tue, 16 Dec 2008 08:46:07 +0100 | krauss | method "sizechange" proves termination of functions; added more infrastructure for termination proofs | file | diff | annotate |