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