Hol Falso

The Falso axiomatic system for Isabelle/HOL