src/HOL/Data_Structures/Define_Time_Function.thy
Fri, 23 Aug 2024 18:40:12 +0200 nipkow tuned comments
Mon, 25 Mar 2024 14:08:25 +0100 nipkow documented running time function framework by Jonas Stahl
Sun, 24 Mar 2024 14:50:47 +0100 nipkow more uniform command names
Mon, 15 Jan 2024 22:50:13 +0100 nipkow Added time function automation
less more (0) tip