/src/HOL/Bali/ default tip
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2025-07-22 12:02 +0200 68129 AxCompl.thy
-rw-r--r-- 2025-07-22 12:02 +0200 12540 AxExample.thy
-rw-r--r-- 2025-07-22 12:02 +0200 47701 AxSem.thy
-rw-r--r-- 2025-07-22 12:02 +0200 131133 AxSound.thy
-rw-r--r-- 2025-07-22 12:02 +0200 9774 Basis.thy
-rw-r--r-- 2025-07-22 12:02 +0200 22570 Conform.thy
-rw-r--r-- 2025-07-22 12:02 +0200 29684 Decl.thy
-rw-r--r-- 2025-07-22 12:02 +0200 91160 DeclConcepts.thy
-rw-r--r-- 2025-07-22 12:02 +0200 88242 DefiniteAssignment.thy
-rw-r--r-- 2025-07-22 12:02 +0200 170938 DefiniteAssignmentCorrect.thy
-rw-r--r-- 2025-07-22 12:02 +0200 55846 Eval.thy
-rw-r--r-- 2025-07-22 12:02 +0200 42654 Evaln.thy
-rw-r--r-- 2025-07-22 12:02 +0200 43930 Example.thy
-rw-r--r-- 2025-07-22 12:02 +0200 2783 Name.thy
-rw-r--r-- 2025-07-22 12:02 +0200 25934 State.thy
-rw-r--r-- 2025-07-22 12:02 +0200 15702 Table.thy
-rw-r--r-- 2025-07-22 12:02 +0200 23521 Term.thy
-rw-r--r-- 2025-07-22 12:02 +0200 20173 Trans.thy
-rw-r--r-- 2025-07-22 12:02 +0200 1478 Type.thy
-rw-r--r-- 2025-07-22 12:02 +0200 27326 TypeRel.thy
-rw-r--r-- 2025-07-22 12:02 +0200 184445 TypeSafe.thy
-rw-r--r-- 2025-07-22 12:02 +0200 1563 Value.thy
-rw-r--r-- 2025-07-22 12:02 +0200 117145 WellForm.thy
-rw-r--r-- 2025-07-22 12:02 +0200 31788 WellType.thy