Mike Sperber c1746d7649 Two more (hopefully last) renamings "Vertrag" -> "Signatur" ... (i.e. "contract" -> "signature" in German) (cherry picked from commit 17c4cb9254)		2010-10-18 08:37:58 -06:00
..
module-begin.rkt	Allow specifying arbitary expressions in a signature declaration.	2010-10-08 13:12:18 +02:00
signature-english.rkt	Provide English and German versions of deinprogramm/signature/signature.	2010-10-08 11:19:38 +02:00
signature-german.rkt	Provide English and German versions of deinprogramm/signature/signature.	2010-10-08 11:19:38 +02:00
signature-syntax.rkt	Two more (hopefully last) renamings "Vertrag" -> "Signatur"	2010-10-18 08:37:58 -06:00
signature-unit.rkt	2nd attempt at generators for records/structs.	2010-10-11 13:34:16 +02:00
signature.rkt	2nd attempt at generators for records/structs.	2010-10-11 13:34:16 +02:00