Sat, 14 May 2016 19:59:43 +0200 | wenzelm | tuned; | changeset | files |
Sat, 14 May 2016 19:49:10 +0200 | wenzelm | toplevel theorem statements support 'if'/'for' eigen-context; | changeset | files |
Sat, 14 May 2016 13:52:01 +0200 | wenzelm | reverted accidental commit; | changeset | files |