/src/HOL/Isar_Examples/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2014-03-07 22:30 +0100 13529 Basic_Logic.thy
-rw-r--r-- 2014-03-07 22:30 +0100 2326 Cantor.thy
-rw-r--r-- 2014-03-07 22:30 +0100 1379 Drinker.thy
-rw-r--r-- 2014-03-07 22:30 +0100 6736 Expr_Compiler.thy
-rw-r--r-- 2014-03-07 22:30 +0100 5194 Fibonacci.thy
-rw-r--r-- 2014-03-07 22:30 +0100 8432 Group.thy
-rw-r--r-- 2014-03-07 22:30 +0100 2608 Group_Context.thy
-rw-r--r-- 2014-03-07 22:30 +0100 2886 Group_Notepad.thy
-rw-r--r-- 2014-03-07 22:30 +0100 16589 Hoare.thy
-rw-r--r-- 2014-03-07 22:30 +0100 11403 Hoare_Ex.thy
-rw-r--r-- 2014-03-07 22:30 +0100 3628 Knaster_Tarski.thy
-rw-r--r-- 2014-03-07 22:30 +0100 9194 Mutilated_Checkerboard.thy
-rw-r--r-- 2014-03-07 22:30 +0100 2320 Nested_Datatype.thy
-rw-r--r-- 2014-03-07 22:30 +0100 3215 Peirce.thy
-rw-r--r-- 2014-03-07 22:30 +0100 2118 Puzzle.thy
-rw-r--r-- 2014-03-07 22:30 +0100 5040 Summation.thy