src/HOL/Data_Structures/Reverse.thy
Sun, 24 Mar 2024 14:50:47 +0100 nipkow more uniform command names
Fri, 19 Jan 2024 17:14:37 +0100 nipkow more uses of define_time_fun
Wed, 18 Nov 2020 19:38:19 +0100 nipkow new theory
less more (0) tip