/src/HOL/Isar_Examples/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2014-10-10 19:55 +0200 13995 Basic_Logic.thy
-rw-r--r-- 2014-10-10 19:55 +0200 2398 Cantor.thy
-rw-r--r-- 2014-10-10 19:55 +0200 1423 Drinker.thy
-rw-r--r-- 2014-10-10 19:55 +0200 6900 Expr_Compiler.thy
-rw-r--r-- 2014-10-10 19:55 +0200 5332 Fibonacci.thy
-rw-r--r-- 2014-10-10 19:55 +0200 8612 Group.thy
-rw-r--r-- 2014-10-10 19:55 +0200 2635 Group_Context.thy
-rw-r--r-- 2014-10-10 19:55 +0200 2913 Group_Notepad.thy
-rw-r--r-- 2014-10-10 19:55 +0200 16847 Hoare.thy
-rw-r--r-- 2014-10-10 19:55 +0200 11605 Hoare_Ex.thy
-rw-r--r-- 2014-10-10 19:55 +0200 3803 Knaster_Tarski.thy
-rw-r--r-- 2014-10-10 19:55 +0200 9464 Mutilated_Checkerboard.thy
-rw-r--r-- 2014-10-10 19:55 +0200 1916 Nested_Datatype.thy
-rw-r--r-- 2014-10-10 19:55 +0200 3303 Peirce.thy
-rw-r--r-- 2014-10-10 19:55 +0200 2158 Puzzle.thy
-rw-r--r-- 2014-10-10 19:55 +0200 5112 Summation.thy