Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / coalg @ 9631d5b7

Name Size
coalg.ml 8.57 KB

Latest revisions

# Date Author Comment
9631d5b7 03/18/2017 12:13 PM Kristin Braun

added nom2fix method

f4e43751 04/27/2016 07:42 PM Christoph Egger

Add Monotone neighbourhood logic

4942adb7 04/11/2016 02:43 AM Christoph Egger

Add graph subcommand to coalg

1484d8cb 11/17/2015 03:54 PM Christoph Egger

Move verification of formula to separate step

19f5dad0 02/04/2015 05:02 AM Dirk Pattinson

Added Identity Functor and Skeleton for Default Implication

5e0983fe 01/22/2015 08:23 PM Thorsten Wißmann

Implement functor parameters for Const

77644d14 01/22/2015 07:30 PM Thorsten Wißmann

Allow functors to get parameters in the syntax

c49eea11 01/22/2015 06:58 PM Thorsten Wißmann

Implement raw syntax for constant functors

3e5fbf7e 07/21/2014 12:47 PM Thorsten Wißmann

Update helper message

a9243a88 07/16/2014 03:35 PM Thorsten Wißmann

Fixup coalg-example call

View revisions

Also available in: Atom