drop barred members from GetTypes
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 9 Jun 2015 14:33:31 +0000 (16:33 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 9 Jun 2015 14:33:31 +0000 (16:33 +0200)
commitd8ed3c5d8bb02c626b3d263ed9d6a4bcb5836ae0
tree38b273f174d719d931aba8d9a0f3f193bb574e6c
parentdbad09a8a5843e91f862657c3011ec7f63ea819b
drop barred members from GetTypes

These became duplicates of their non-barred counterparts.
BFF.agda
BFFPlug.agda
Bidir.agda
GetTypes.agda
Precond.agda