Indeed. Could the same be done for locales?
Dmitriy
On 10.09.2014 10:51, Tobias Nipkow wrote:
Florian showed it to me and class_deps has become really usable. I recommend
it to anyone out there in the class jungle.
Tobias
On 10/09/2014 10:49, Florian Haftmann wrote:
* Command "class_deps" takes optional sort arguments constraining the
search space.
This refers to be1d10595b7b.
Florian
_______________________________________________ isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev