| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| .gitignore | ||
| Leon.thy | ||
| Leon_Library.thy | ||
| Leon_Ops.thy | ||
| ROOT | ||
| leon_syntax.ML | ||
| stateful_ops.ML | ||
| stateless_ops.ML | ||
| tactics.ML | ||
| term_codec.ML | ||
| util.ML | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| .gitignore | ||
| Leon.thy | ||
| Leon_Library.thy | ||
| Leon_Ops.thy | ||
| ROOT | ||
| leon_syntax.ML | ||
| stateful_ops.ML | ||
| stateless_ops.ML | ||
| tactics.ML | ||
| term_codec.ML | ||
| util.ML | ||