4 Commits

Author	SHA1	Message	Date
bringert	ddc8d5d0cc	Transfer: fixed Eq derivation to at least work for GF-generated Tree types.	2005-12-05 14:14:19 +00:00
bringert	12ca29b32b	Transfer: derive instances, not functions.	2005-11-30 18:42:45 +00:00
bringert	5b9249a422	Split widesnake example. Changed examples to use rec and sig keywords.	2005-11-29 18:15:15 +00:00
bringert	f6159d4bff	Added stoneage transfer example.	2005-11-29 17:42:43 +00:00