/doc-src/TutorialI/Types/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2005-06-14 22:08 +0200 8360 Axioms.thy
-rw-r--r-- 2005-06-14 22:08 +0200 5653 Numbers.thy
-rw-r--r-- 2005-06-14 22:08 +0200 686 Overloading.thy
-rw-r--r-- 2005-06-14 22:08 +0200 1831 Overloading0.thy
-rw-r--r-- 2005-06-14 22:08 +0200 2249 Overloading1.thy
-rw-r--r-- 2005-06-14 22:08 +0200 1570 Overloading2.thy
-rw-r--r-- 2005-06-14 22:08 +0200 6941 Pairs.thy
-rw-r--r-- 2005-06-14 22:08 +0200 186 ROOT.ML
-rw-r--r-- 2005-06-14 22:08 +0200 14585 Records.thy
-rw-r--r-- 2005-06-14 22:08 +0200 9837 Typedefs.thy
-rw-r--r-- 2005-06-14 22:08 +0200 23552 numerics.tex
-rw-r--r-- 2005-06-14 22:08 +0200 2659 types.tex