{"categories":[],"packages":[],"usage":[{"description":"Add integration support for the Isabelle\/HOL theorem prover.","isdefault":false,"packageid":66323,"use":"isabelle"}],"use":{"description":"Add integration support for the Isabelle\/HOL theorem prover.","isdefault":false,"packageid":66323,"use":"isabelle"}}