s/generate/restrict/g
authorHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 15:01:38 +0000 (16:01 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 15:01:38 +0000 (16:01 +0100)
commit7673d048da79e050474c4396bcbd57f2632bd939
tree94911d494fd86c2ff995689c858060dd843ac893
parentdf9a08b332fff377d06d973535017d891f5a3416
s/generate/restrict/g

The name was deemed misleading. Nothing else changed.
Bidir.agda
FinMap.agda