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