src/HOL/Examples/Rewrite_Examples.thy
Thu, 09 Dec 2021 09:40:15 +0100 nipkow missing latex font
Thu, 09 Dec 2021 08:32:29 +0100 nipkow Rewrite: added links to docu, made more prominent
less more (0) tip