]> matita.cs.unibo.it Git - helm.git/blob - matita/components/getter/.ocamlinit
- helena: the improved attribute system allows to export the sorts of Pi's
[helm.git] / matita / components / getter / .ocamlinit
1 #use "topfind";;
2 #require "helm-getter";;
3 Helm_registry.load_from "sample.conf.xml";;