Leon Vatthauer 59b2631a13 Work on bisimilarity		2024-04-05 19:27:19 +02:00
..
01_introduction.tex	Export macros to catprog.sty, work on F-algebras section	2024-03-27 10:35:17 +01:00
02_categories.tex	Work on bisimilarity	2024-04-05 19:27:19 +02:00
03_constructions.tex	minor	2024-04-02 11:40:26 +02:00