https://github.com/bzhan/auto2
Tip revision: 2e83c30b095f2ed9fa5257f79570eb354ed6e6a7 authored by Bohua Zhan on 18 July 2022, 08:11:35 UTC
Add changes from AFP. Bump version to Isabelle2021-1.
Add changes from AFP. Bump version to Isabelle2021-1.
Tip revision: 2e83c30
| File | Mode | Size |
|---|---|---|
| FOL | ||
| HOL | ||
| document | ||
| .gitignore | -rw-r--r-- | 3 bytes |
| README | -rw-r--r-- | 2.1 KB |
| ROOT | -rw-r--r-- | 2.0 KB |
| auto2.ML | -rw-r--r-- | 22.5 KB |
| auto2_data.ML | -rw-r--r-- | 2.8 KB |
| auto2_outer.ML | -rw-r--r-- | 23.2 KB |
| auto2_state.ML | -rw-r--r-- | 6.4 KB |
| box_id.ML | -rw-r--r-- | 7.2 KB |
| consts.ML | -rw-r--r-- | 1.6 KB |
| doc.pdf | -rw-r--r-- | 353.1 KB |
| items.ML | -rw-r--r-- | 24.9 KB |
| logic_steps.ML | -rw-r--r-- | 36.9 KB |
| matcher.ML | -rw-r--r-- | 14.2 KB |
| normalize.ML | -rw-r--r-- | 8.7 KB |
| proofsteps.ML | -rw-r--r-- | 35.3 KB |
| property.ML | -rw-r--r-- | 8.6 KB |
| propertydata.ML | -rw-r--r-- | 9.5 KB |
| rewrite.ML | -rw-r--r-- | 32.5 KB |
| status.ML | -rw-r--r-- | 13.8 KB |
| util.ML | -rw-r--r-- | 30.3 KB |
| util_base.ML | -rw-r--r-- | 2.2 KB |
| util_logic.ML | -rw-r--r-- | 19.6 KB |
| wellform.ML | -rw-r--r-- | 4.5 KB |
| wfdata.ML | -rw-r--r-- | 12.9 KB |
| wfterm.ML | -rw-r--r-- | 10.2 KB |
