| Tue, 06 Oct 2015 17:47:28 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Fri, 12 Oct 2012 18:58:20 +0200 | wenzelm | discontinued obsolete typedef (open) syntax; | file | diff | annotate |
| Tue, 09 Oct 2012 16:57:58 +0200 | kuncar | rename Set.project to Set.filter - more appropriate name | file | diff | annotate |