Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Codegenerator_Test/Candidates.thy
2017-04-06 haftmann session containing computational algebra file | diff | annotate
2016-08-16 eberlm Polynomial algebra cleanup file | diff | annotate
2016-07-15 eberlm Tuned Gcd/Lcm in Codegenerator_Test file | diff | annotate
2016-05-26 wenzelm isabelle update_cartouches -c -t; file | diff | annotate
2016-02-26 eberlm Tuned Euclidean Ring instance for polynomials file | diff | annotate
2016-02-17 haftmann separated potentially conflicting type class instance into separate theory file | diff | annotate
2015-09-22 haftmann include some data structures into code generation file | diff | annotate
2015-09-06 haftmann unconditional parenthesing of (chained) abstractions in Scala, with explicit regression setup file | diff | annotate
2015-09-06 haftmann parenthesing let-expressions in OCaml similar to case expressions avoids precendence problems due to ambiguous scope; file | diff | annotate
2015-03-29 wenzelm tuned; file | diff | annotate
2015-03-17 paulson more general type class for factorial. Now allows code generation (?) file | diff | annotate
2015-03-17 paulson Merge file | diff | annotate
2015-02-05 haftmann slightly more standard code setup for String.literal, with explicit special case in predicate compiler file | diff | annotate
2014-11-02 wenzelm modernized header uniformly as section; file | diff | annotate
2014-10-21 haftmann turn even into an abbreviation file | diff | annotate
2014-10-14 haftmann purely algebraic characterization of even and odd file | diff | annotate
2013-02-17 haftmann Sieve of Eratosthenes file | diff | annotate
2013-02-15 haftmann attempt to re-establish conventions which theories are loaded into the grand unified library theory; file | diff | annotate
2013-02-15 haftmann systematic conversions between nat and nibble/char; file | diff | annotate
2012-08-29 Christian Sternagel renamed theory List_Prefix into Sublist (since it is not only about prefixes) file | diff | annotate
2011-03-03 wenzelm modernized imports; file | diff | annotate
2010-07-02 haftmann introduced distinct session HOL-Codegenerator_Test file | diff | annotate | base
less more (0) tip
isabelle