isabelle_crdt_apps