/src/lib/ALCFormula.mli - Changes - COOL - Chair for Theoretical Computer Science

cool / src / lib / ALCFormula.mli @ 946e8213

History | View | Annotate | Download (3.34 KB)

#			Date	Author	Comment
a57eb439			03/21/2017 09:12 PM	Hans-Peter Deifel	Add vim modeline to all OCaml files
7c4d2eb4			04/23/2014 11:21 AM	Thorsten Wißmann	Separate cool into library and coalg frontend