more on readme

Andrei Popescu · Andrei Popescu · commit 1bcce59b6dac · 2024-10-16T12:43:54.000+01:00
diff --git a/README.md b/README.md
@@ -233,7 +233,7 @@ Thm 103 --> theorems `stepD_ustepD` and `ustepD_stepD` (and the variants `ustepD
 
 ##### Appendix F
 
-Thm 109 --> 
+Thm 109 --> theorems `ty_transitivity` and `ty_narrowing` from thys/POPLmark/POPLmark_1A.thy 
 
 
 

Original file line number	Diff line number	Diff line change
@@ -233,7 +233,7 @@ Thm 103 --> theorems `stepD_ustepD` and `ustepD_stepD` (and the variants `ustepD
`233`	`233`
`234`	`234`	`##### Appendix F`
`235`	`235`
`236`		`-Thm 109 -->`
	`236`	+Thm 109 --> theorems `ty_transitivity` and `ty_narrowing` from thys/POPLmark/POPLmark_1A.thy
`237`	`237`
`238`	`238`
`239`	`239`