Thu, 26 Jun 2025 17:25:29 +0200 | haftmann | append (rather than prepend) code equations: the order within a theory is maintained in the resulting code | file | diff | annotate |
Fri, 04 Apr 2025 23:12:20 +0200 | haftmann | represent constants with explicit typargs to avoid false positives for equality approximations like ‹card UNIV === card UNIV› | file | diff | annotate |
Sun, 06 Aug 2017 15:02:54 +0200 | haftmann | do not fall back on nbe if plain evaluation fails | file | diff | annotate |
Mon, 28 Dec 2015 01:28:28 +0100 | wenzelm | more symbols; | file | diff | annotate |
Tue, 13 Oct 2015 09:21:15 +0200 | haftmann | prod_case as canonical name for product type eliminator | file | diff | annotate |
Tue, 06 Oct 2015 17:47:28 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |