Andra Hugo 631a599c05 move dichotomy out of the policies vor 13 Jahren
..
examples 545f5f5b3b rename hyp last step vor 13 Jahren
include 631a599c05 move dichotomy out of the policies vor 13 Jahren
src 631a599c05 move dichotomy out of the policies vor 13 Jahren
Makefile.am 6bcd0d3c6e rename + comments in the public interface vor 13 Jahren