/doc-src/TutorialI/Types/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2012-07-25 12:38 +0200 9123 Axioms.thy
-rw-r--r-- 2012-07-25 12:38 +0200 5398 Numbers.thy
-rw-r--r-- 2012-07-25 12:38 +0200 2751 Overloading.thy
-rw-r--r-- 2012-07-25 12:38 +0200 6882 Pairs.thy
-rw-r--r-- 2012-07-25 12:38 +0200 169 ROOT.ML
-rw-r--r-- 2012-07-25 12:38 +0200 14676 Records.thy
-rw-r--r-- 2012-07-25 12:38 +0200 158 Setup.thy
-rw-r--r-- 2012-07-25 12:38 +0200 9889 Typedefs.thy
-rw-r--r-- 2012-07-25 12:38 +0200 23301 numerics.tex
-rw-r--r-- 2012-07-25 12:38 +0200 2704 types.tex