Removed Quantale.thy for time being