10 months ago nipkow [Thu, 14 Jun 2018 15:45:53 +0200] rev 68442
tuned
src/HOL/Computational_Algebra/Formal_Power_Series.thy src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy src/HOL/Decision_Procs/Rat_Pair.thy src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy

10 months ago nipkow [Thu, 14 Jun 2018 10:51:12 +0200] rev 68441
removed duplicates
src/HOL/Rat.thy

10 months ago nipkow [Wed, 13 Jun 2018 15:24:20 +0200] rev 68440
qualify interpretations to avoid clashes
src/HOL/Data_Structures/AA_Set.thy src/HOL/Data_Structures/AVL_Map.thy src/HOL/Data_Structures/AVL_Set.thy src/HOL/Data_Structures/RBT_Map.thy src/HOL/Data_Structures/RBT_Set.thy src/HOL/Data_Structures/Set_Specs.thy src/HOL/Data_Structures/Tree234_Map.thy src/HOL/Data_Structures/Tree234_Set.thy src/HOL/Data_Structures/Tree23_Map.thy src/HOL/Data_Structures/Tree23_Set.thy src/HOL/Data_Structures/Tree_Map.thy src/HOL/Data_Structures/Tree_Set.thy

10 months ago nipkow [Wed, 13 Jun 2018 11:53:25 +0200] rev 68439
more abstract names
src/HOL/Data_Structures/Set_Specs.thy

10 months ago immler [Wed, 13 Jun 2018 10:52:47 +0200] rev 68438
tuned exception
src/HOL/Types_To_Sets/unoverload_type.ML

10 months ago immler [Wed, 13 Jun 2018 10:45:23 +0200] rev 68437
restructured
src/HOL/Types_To_Sets/unoverload_type.ML

10 months ago immler [Wed, 13 Jun 2018 09:38:07 +0200] rev 68436
result of unoverload is not in normal form
src/HOL/Types_To_Sets/unoverload_type.ML

10 months ago immler [Wed, 13 Jun 2018 09:26:04 +0200] rev 68435
tuned
src/HOL/Types_To_Sets/unoverload_type.ML

10 months ago immler [Wed, 13 Jun 2018 09:22:58 +0200] rev 68434
allow for a list of vars
src/HOL/Types_To_Sets/unoverload_type.ML

10 months ago immler [Wed, 13 Jun 2018 09:11:35 +0200] rev 68433
parse var
src/HOL/Types_To_Sets/unoverload_type.ML