isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip

tuned whitespace;
9 months ago, by wenzelm
merged
9 months ago, by wenzelm
uniform export via ztyp/zterm/zproof;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
more operations;
9 months ago, by wenzelm
clarified scope of cache: avoid nested typ_cache;
9 months ago, by wenzelm
clarified scope of cache: per theory body;
9 months ago, by wenzelm
tuned module structure;
9 months ago, by wenzelm
clarified signature: more operations;
9 months ago, by wenzelm
merged
9 months ago, by nipkow
tuned
9 months ago, by nipkow
added nicer proof
9 months ago, by nipkow
better poller: don't start job when same version is already running;
9 months ago, by Fabian Huch
clarified: more uniform;
9 months ago, by Fabian Huch
merged
9 months ago, by desharna
added lemmas wfp_on_antimono_stronger and wf_on_antimono_stronger
9 months ago, by desharna
More streamlining
9 months ago, by paulson
merged
9 months ago, by paulson
Revised mixfix and streamlined proofs
9 months ago, by paulson
clarified Isabelle/Haskell type Term, following Isabelle/Scala (see 446b887e23c7);
9 months ago, by wenzelm
tuned output, following Isabelle/Scala;
9 months ago, by wenzelm
clarified data representation: prefer explicit OFCLASS constructor, following datatype zterm;
9 months ago, by wenzelm
clarified signature, following Isabelle/Scala;
9 months ago, by wenzelm
afford larger example (see also ccf9241af217);
9 months ago, by wenzelm
more scalable operations;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
tuned (see also 4879d0021185);
9 months ago, by wenzelm
tuned signature;
9 months ago, by wenzelm
merged
9 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip

isabelle