Other Work in Progress

[Locale Browser:] A tool to visualize locale and class dependencies.

[Isabelle-ML-QuickCheck:] A quickcheck clone to support Isabelle/ML developments

[Default Types:] A mechanism to assign default types to variables