equal
deleted
inserted
replaced
1 (* Title: Pure/ROOT.ML |
1 (* Title: Pure/ROOT.ML |
2 Author: Makarius |
2 Author: Makarius |
3 UUID: b179c273-64ed-4480-82ff-2a8ad1b2eef3 |
3 UUID: 3d6bbaf8-645c-4431-ba30-9b864c20b009 |
4 |
4 |
5 Main entry point for the Isabelle/Pure bootstrap process. |
5 Main entry point for the Isabelle/Pure bootstrap process. |
6 |
6 |
7 Note: When this file is open in the Prover IDE, the ML files of |
7 Note: When this file is open in the Prover IDE, the ML files of |
8 Isabelle/Pure can be explored interactively. This is a separate copy of |
8 Isabelle/Pure can be explored interactively. This is a separate copy of |