src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy
Thu, 11 Aug 2022 11:57:19 +0200 nipkow nlists is picked up automatically but conflicts with the RBT setup
less more (0) -10 -1 tip