12 months ago immler 2018-06-13 restructured
12 months ago immler 2018-06-13 result of unoverload is not in normal form
12 months ago immler 2018-06-13 tuned
12 months ago immler 2018-06-13 allow for a list of vars
12 months ago immler 2018-06-13 parse var
12 months ago nipkow 2018-06-12 merged
12 months ago nipkow 2018-06-12 more abstract naming
12 months ago immler 2018-06-12 tuned
12 months ago immler 2018-06-12 workaround: in internalize_sort, Thm.unconstrainT can rename type variables and therefore invalidate new_tvar
12 months ago immler 2018-06-12 a derived rule combining unoverload and internalize_sort
12 months ago paulson 2018-06-12 merged
12 months ago paulson 2018-06-11 fixed a name clash
12 months ago paulson 2018-06-11 merged
12 months ago paulson 2018-06-11 the last of the infinite product proofs
12 months ago nipkow 2018-06-12 merged
12 months ago nipkow 2018-06-12 proved avl for map (finally); tuned
12 months ago paulson 2018-06-11 merged
12 months ago paulson 2018-06-11 tidier Cauchy proofs
12 months ago wenzelm 2018-06-11 merged
12 months ago wenzelm 2018-06-11 more abstract Export.Provider;
12 months ago wenzelm 2018-06-11 clarified signature: persistent results;
12 months ago wenzelm 2018-06-11 tuned signature;
12 months ago nipkow 2018-06-11 tuned def. of del and proved preservation of rbt (finally)
12 months ago nipkow 2018-06-11 merged
12 months ago nipkow 2018-06-11 tuned order of arguments
12 months ago immler 2018-06-11 default value for parametricity of dim
12 months ago nipkow 2018-06-11 added lemma
12 months ago wenzelm 2018-06-09 clarified signature: more uniform theory_message (see also d7920eb7de54);
12 months ago wenzelm 2018-06-09 tuned -- use existing operation;
12 months ago wenzelm 2018-06-07 merged
12 months ago wenzelm 2018-06-07 isabelle emacs no longer exists;
12 months ago nipkow 2018-06-07 utilize 'flip'
12 months ago nipkow 2018-06-07 comments
12 months ago nipkow 2018-06-06 merged
12 months ago nipkow 2018-06-06 reorient -> split; documented split
12 months ago wenzelm 2018-06-06 merged
12 months ago wenzelm 2018-06-06 Added tag Isabelle2018-RC0 for changeset 194fa3d2d6a4
12 months ago paulson 2018-06-06 merged
12 months ago paulson 2018-06-06 resolution of name clashes in Algebra
12 months ago wenzelm 2018-06-06 merged
12 months ago wenzelm 2018-06-06 isabelle update_comments;
12 months ago wenzelm 2018-06-06 tuned header;
12 months ago wenzelm 2018-06-06 updated for release;
12 months ago wenzelm 2018-06-06 updated for release;
12 months ago wenzelm 2018-06-06 misc tuning and updates for release;
12 months ago wenzelm 2018-06-06 updated for release;
12 months ago wenzelm 2018-06-06 updated for release; tuned;
12 months ago wenzelm 2018-06-06 eliminated suspicious Unicode;
12 months ago wenzelm 2018-06-06 proper white space;
12 months ago wenzelm 2018-06-06 updated to sqlite-jdbc-3.23.1;
12 months ago nipkow 2018-06-06 merged
12 months ago nipkow 2018-06-06 Keep filter input syntax
12 months ago wenzelm 2018-06-05 more parallelism to cope with 8h30 CPU time;
12 months ago wenzelm 2018-06-05 full benchmarks, including all conditional theories;
12 months ago wenzelm 2018-06-05 tuned proofs;
12 months ago wenzelm 2018-06-05 more robust;
12 months ago wenzelm 2018-06-05 less wasteful consolidation, based on PIDE front-end state and recent changes;
12 months ago wenzelm 2018-06-05 tuned -- short-circuit result;
12 months ago wenzelm 2018-06-05 tuned;
12 months ago wenzelm 2018-06-05 updated URLs;