/src/HOL/Examples/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2021-04-12 14:14 +0200 3539 Ackermann.thy
-rw-r--r-- 2021-04-12 14:14 +0200 7622 Adhoc_Overloading_Examples.thy
-rw-r--r-- 2021-04-12 14:14 +0200 4947 Cantor.thy
-rw-r--r-- 2021-04-12 14:14 +0200 5056 Coherent.thy
-rw-r--r-- 2021-04-12 14:14 +0200 1824 Commands.thy
-rw-r--r-- 2021-04-12 14:14 +0200 1432 Drinker.thy
-rw-r--r-- 2021-04-12 14:14 +0200 3970 Groebner_Examples.thy
-rw-r--r-- 2021-04-12 14:14 +0200 2266 Iff_Oracle.thy
-rw-r--r-- 2021-04-12 14:14 +0200 1616 Induction_Schema.thy
-rw-r--r-- 2021-04-12 14:14 +0200 3908 Knaster_Tarski.thy
-rw-r--r-- 2021-04-12 14:14 +0200 4387 ML.thy
-rw-r--r-- 2021-04-12 14:14 +0200 3491 Peirce.thy
-rw-r--r-- 2021-04-12 14:14 +0200 10605 Records.thy
-rw-r--r-- 2021-04-12 14:14 +0200 846 Seq.thy