From 08bac7e4061e154a78b4941f53536258023cdd97 Mon Sep 17 00:00:00 2001 From: Andrei Popescu Date: Wed, 16 Oct 2024 12:47:36 +0100 Subject: [PATCH] more on readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 22b3285..ffc9464 100644 --- a/README.md +++ b/README.md @@ -224,7 +224,7 @@ All the facts shown here are generated automatically by our `binder_datatype` co ##### Appendix E -We only indicate a selection only, namely the strong rule induction theorems and the main end results. +We only indicate a selection, namely the strong rule induction theorems and the main end results. Prop 71 --> theorem `istep.strong_induct` (generated and proved by `binder_inductive`) from thys/Infinitary_Lambda_Calculus/ILC_Beta.thy