Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- fix Inductive_Inference
The file was modified | thys/Inductive_Inference/Lemma_R.thy |
The file was modified | thys/Inductive_Inference/Standard_Results.thy |
The file was modified | thys/Inductive_Inference/Universal.thy |