/src/HOL/Bali/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2002-02-21 20:09 +0100 25001 AxCompl.thy
-rw-r--r-- 2002-02-21 20:09 +0100 10533 AxExample.thy
-rw-r--r-- 2002-02-21 20:09 +0100 47572 AxSem.thy
-rw-r--r-- 2002-02-21 20:09 +0100 16799 AxSound.thy
-rw-r--r-- 2002-02-21 20:09 +0100 9994 Basis.thy
-rw-r--r-- 2002-02-21 20:09 +0100 17947 Conform.thy
-rw-r--r-- 2002-02-21 20:09 +0100 30479 Decl.thy
-rw-r--r-- 2002-02-21 20:09 +0100 99524 DeclConcepts.thy
-rw-r--r-- 2002-02-21 20:09 +0100 44097 Eval.thy
-rw-r--r-- 2002-02-21 20:09 +0100 22305 Evaln.thy
-rw-r--r-- 2002-02-21 20:09 +0100 39284 Example.thy
-rw-r--r-- 2002-02-21 20:09 +0100 3232 Name.thy
-rw-r--r-- 2002-02-21 20:09 +0100 60 ROOT.ML
-rw-r--r-- 2002-02-21 20:09 +0100 21972 State.thy
-rw-r--r-- 2002-02-21 20:09 +0100 15965 Table.thy
-rw-r--r-- 2002-02-21 20:09 +0100 8229 Term.thy
-rw-r--r-- 2002-02-21 20:09 +0100 6700 Trans.thy
-rw-r--r-- 2002-02-21 20:09 +0100 1423 Type.thy
-rw-r--r-- 2002-02-21 20:09 +0100 26603 TypeRel.thy
-rw-r--r-- 2002-02-21 20:09 +0100 51040 TypeSafe.thy
-rw-r--r-- 2002-02-21 20:09 +0100 1543 Value.thy
-rw-r--r-- 2002-02-21 20:09 +0100 113423 WellForm.thy
-rw-r--r-- 2002-02-21 20:09 +0100 25141 WellType.thy