Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (563 Bytes)

# Date Author Comment
946e8213 06/20/2017 07:41 PM Kristin Braun

translation from nominal to EG AF works for K

def3763d 06/19/2017 01:18 PM Kristin Braun

Translation for K