Diff interface for Phrasebook

This commit is contained in:
aarne
2010-03-21 03:37:02 +00:00
parent 5584415807
commit 68840a3d6a
7 changed files with 41 additions and 2 deletions

View File

@@ -0,0 +1,8 @@
interface DiffPhrasebook = open Syntax in {
oper
want_V2 : V2 ;
like_V2 : V2 ;
}