Thu, 29 Oct 2020 18:23:29 +0000 unified slots
haftmann [Thu, 29 Oct 2020 18:23:29 +0000] rev 72517
unified slots
Thu, 29 Oct 2020 18:23:28 +0000 unified Local_Theory.init with Generic_Target.init
haftmann [Thu, 29 Oct 2020 18:23:28 +0000] rev 72516
unified Local_Theory.init with Generic_Target.init
Thu, 29 Oct 2020 10:03:03 +0000 moved most material from session HOL-Word to Word_Lib in the AFP
haftmann [Thu, 29 Oct 2020 10:03:03 +0000] rev 72515
moved most material from session HOL-Word to Word_Lib in the AFP
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip