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