Tue, 16 Jan 2018 09:30:00 +0100 | wenzelm | standardized towards new-style formal comments: isabelle update_comments; | file | diff | annotate |
Fri, 12 Jan 2018 14:08:53 +0100 | wenzelm | isabelle update_cartouches -c; | file | diff | annotate |
Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
Tue, 13 Aug 2013 15:59:22 +0200 | kuncar | remove unnecessary dependencies on Library/Quotient_* | file | diff | annotate |
Mon, 11 Mar 2013 12:27:31 +0100 | nipkow | more factorisation of Step & Co | file | diff | annotate |
Sun, 10 Mar 2013 18:29:10 +0100 | nipkow | factored out Step | file | diff | annotate |
Thu, 19 Apr 2012 20:19:13 +0200 | nipkow | added revised version of Abs_Int | file | diff | annotate |