| Tue, 18 Aug 2020 21:45:24 +0100 | paulson | List_Lexorder finally working | file | diff | annotate |
| Tue, 18 Aug 2020 14:44:59 +0100 | paulson | fixed for new lex-order. And the effing indentation! | file | diff | annotate |
| Fri, 17 Apr 2020 20:55:53 +0100 | paulson | New theory Library/List_Lenlexorder.thy, a type class instantiation for well-ordering lists | file | diff | annotate |
| Tue, 29 May 2018 14:05:59 +0200 | nipkow | canonical names | file | diff | annotate | base |