Commit c8b3a84509481bc3ff8f24805ab3f101eeff8e20

Thomas de Grivel 2015-03-20T15:43:39

Rename lowh-facts to facts.