Thu, 17 May 2018 14:50:48 +0200 | wenzelm | read theory content from session database; | file | diff | annotate |
Sun, 13 May 2018 21:20:28 +0200 | wenzelm | more uniform types vs. consts; | file | diff | annotate |
Sun, 13 May 2018 20:24:33 +0200 | wenzelm | more concise information; | file | diff | annotate |
Sun, 13 May 2018 20:04:59 +0200 | wenzelm | export foundational theory content in Scala; | file | diff | annotate |