/src/Pure/Isar/ Isabelle2025
drwxr-xr-x [up]
-rw-r--r-- 2025-03-12 11:39 +0100 6772 args.ML
-rw-r--r-- 2025-03-12 11:39 +0100 25230 attrib.ML
-rw-r--r-- 2025-03-12 11:39 +0100 1541 auto_bind.ML
-rw-r--r-- 2025-03-12 11:39 +0100 9352 bundle.ML
-rw-r--r-- 2025-03-12 11:39 +0100 8212 calculation.ML
-rw-r--r-- 2025-03-12 11:39 +0100 31899 class.ML
-rw-r--r-- 2025-03-12 11:39 +0100 17250 class_declaration.ML
-rw-r--r-- 2025-03-12 11:39 +0100 58685 code.ML
-rw-r--r-- 2025-03-12 11:39 +0100 7922 context_rules.ML
-rw-r--r-- 2025-03-12 11:39 +0100 6165 document_structure.scala
-rw-r--r-- 2025-03-12 11:39 +0100 18867 element.ML
-rw-r--r-- 2025-03-12 11:39 +0100 1843 entity.ML
-rw-r--r-- 2025-03-12 11:39 +0100 1391 experiment.ML
-rw-r--r-- 2025-03-12 11:39 +0100 33266 expression.ML
-rw-r--r-- 2025-03-12 11:39 +0100 18968 generic_target.ML
-rw-r--r-- 2025-03-12 11:39 +0100 8340 interpretation.ML
-rw-r--r-- 2025-03-12 11:39 +0100 11547 isar_cmd.ML
-rw-r--r-- 2025-03-12 11:39 +0100 10229 keyword.ML
-rw-r--r-- 2025-03-12 11:39 +0100 6980 keyword.scala
-rw-r--r-- 2025-03-12 11:39 +0100 2492 line_structure.scala
-rw-r--r-- 2025-03-12 11:39 +0100 8646 local_defs.ML
-rw-r--r-- 2025-03-12 11:39 +0100 16157 local_theory.ML
-rw-r--r-- 2025-03-12 11:39 +0100 30641 locale.ML
-rw-r--r-- 2025-03-12 11:39 +0100 29596 method.ML
-rw-r--r-- 2025-03-12 11:39 +0100 5960 named_target.ML
-rw-r--r-- 2025-03-12 11:39 +0100 7385 object_logic.ML
-rw-r--r-- 2025-03-12 11:39 +0100 9665 obtain.ML
-rw-r--r-- 2025-03-12 11:39 +0100 11255 outer_syntax.ML
-rw-r--r-- 2025-03-12 11:39 +0100 6176 outer_syntax.scala
-rw-r--r-- 2025-03-12 11:39 +0100 8304 overloading.ML
-rw-r--r-- 2025-03-12 11:39 +0100 18093 parse.ML
-rw-r--r-- 2025-03-12 11:39 +0100 3800 parse.scala
-rw-r--r-- 2025-03-12 11:39 +0100 6800 parse_spec.ML
-rw-r--r-- 2025-03-12 11:39 +0100 45774 proof.ML
-rw-r--r-- 2025-03-12 11:39 +0100 62515 proof_context.ML
-rw-r--r-- 2025-03-12 11:39 +0100 14409 proof_display.ML
-rw-r--r-- 2025-03-12 11:39 +0100 1158 proof_node.ML
-rw-r--r-- 2025-03-12 11:39 +0100 14078 rule_cases.ML
-rw-r--r-- 2025-03-12 11:39 +0100 6852 runtime.ML
-rw-r--r-- 2025-03-12 11:39 +0100 6402 spec_rules.ML
-rw-r--r-- 2025-03-12 11:39 +0100 18625 specification.ML
-rw-r--r-- 2025-03-12 11:39 +0100 9331 subgoal.ML
-rw-r--r-- 2025-03-12 11:39 +0100 2365 target_context.ML
-rw-r--r-- 2025-03-12 11:39 +0100 26490 token.ML
-rw-r--r-- 2025-03-12 11:39 +0100 11904 token.scala
-rw-r--r-- 2025-03-12 11:39 +0100 27518 toplevel.ML
-rw-r--r-- 2025-03-12 11:39 +0100 4174 typedecl.ML