| Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | changeset | files |
| Fri, 18 Aug 2017 13:55:05 +0200 | wenzelm | more informative error message, e.g. relevant for incoherent imports; | changeset | files |
| Fri, 18 Aug 2017 14:57:23 +0200 | Lars Hupel | syntax for pattern aliases | changeset | files |
| Thu, 17 Aug 2017 22:29:30 +0200 | eberlm | NEWS: Removed constant subseq; subsumed by strict_mono | changeset | files |