Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Tue, 04 Apr 2017 15:05:00 +0200 | wenzelm | tuned headers; | file | diff | annotate |
Tue, 14 Feb 2017 18:32:53 +0100 | fleury | cancellation simprocs generalising the multiset simprocs | file | diff | annotate |