Mon, 04 Apr 2016 17:02:34 +0200 | wenzelm | clarified bootstrap -- more uniform use of ML files; | file | diff | annotate |
Sun, 16 Aug 2015 18:19:30 +0200 | wenzelm | prefer theory_id operations; | file | diff | annotate |
Thu, 16 Apr 2015 17:18:48 +0200 | wenzelm | formal Theory.check, with markup and completion; | file | diff | annotate |
Thu, 16 Apr 2015 15:22:44 +0200 | wenzelm | discontinued pointless warnings: commands are only defined inside a theory context; | file | diff | annotate |
Thu, 16 Apr 2015 13:48:10 +0200 | wenzelm | clarified thy_deps; | file | diff | annotate |