| Mon, 22 Nov 2010 17:46:51 +0100 | haftmann | replaced misleading Fset/fset name -- these do not stand for finite sets | file | diff | annotate |
| Sat, 04 Sep 2010 21:10:39 +0200 | haftmann | added more explicit warning | file | diff | annotate |
| Tue, 10 Aug 2010 09:11:23 +0200 | haftmann | executable relation operations contributed by Tjark Weber | file | diff | annotate |
| Mon, 28 Jun 2010 15:32:06 +0200 | haftmann | dropped ancient infix mem; refined code generation operations in List.thy | file | diff | annotate |
| Thu, 20 May 2010 16:40:29 +0200 | haftmann | renamed List_Set to the now more appropriate More_Set | file | diff | annotate |
| Thu, 20 May 2010 16:35:54 +0200 | haftmann | added theory More_List | file | diff | annotate |
| Fri, 16 Apr 2010 21:28:09 +0200 | wenzelm | replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords; | file | diff | annotate |