4 Commits

Author	SHA1	Message	Date
Mysaa	29ee842db1	Added some examples, but they need some lemmas using subst a lot	2023-06-22 18:55:16 +02:00
Thorsten Altenkirch	309ba6ab70	added examples	2023-06-20 15:36:18 +02:00
Thorsten Altenkirch	bd99520e35	simplified fol using l	2023-06-20 14:59:48 +02:00
Thorsten Altenkirch	00fd305f5f	my fol	2023-06-20 12:35:49 +02:00