| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 935 | AK-example_hgrc | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 919 | AK-example_session | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 88146 | AK-hgtalk.pdf | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 10753 | CU-Ex1.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 713966 | CU-intro.pdf | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 113525 | CU-slides1.pdf | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 216847 | CU-slides2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 14472 | Conversions.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 4356 | ExampleConstruction.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 3087 | FH-ex.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 5142 | FI-Ex.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 155787 | FI-slides.pdf | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 5300 | InductiveInternals.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 1869 | Inductive_Examples.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 471 | MW-Ex1.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 1279 | MW-Ex2.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 2885 | MW-Ex3.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 403 | MW-Ex4.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 2206 | MW-Ex5.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 961 | MW-Ex6.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 2004 | MW-ex.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 50573 | MW-slides.pdf | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 66157 | MW-slides2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 57176 | MW-slides3.pdf | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 55494 | MW-slides4.pdf | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 5678 | SB-Calc.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 2180 | SB-Method.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 91 | Simple_Inductive_Package.thy | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 9883 | isar-keywords-inductive.el | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 219025 | package.pdf | file | revisions | annotate |
| -rw-r--r-- | 2025-01-07 12:42 +0000 | 5829 | simple_inductive_package.ML | file | revisions | annotate |