Thu, 23 Jul 2009 18:44:09 +0200 | wenzelm | renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset; | file | diff | annotate |
Wed, 22 Jul 2009 14:20:32 +0200 | haftmann | set intersection and union now named inter and union | file | diff | annotate |
Wed, 22 Jul 2009 08:05:33 +0200 | haftmann | explicit antiquotation | file | diff | annotate |
Tue, 21 Jul 2009 15:52:30 +0200 | haftmann | dropped ancient flat_names option | file | diff | annotate |
Wed, 15 Jul 2009 23:48:21 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
Fri, 03 Jul 2009 16:51:08 +0200 | haftmann | nominal.ML is nominal_datatype.ML | file | diff | annotate | base |