Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged;
- more Haskell operations;
- more uniform multi-language operations; misc tuning and clarification;
- more Haskell operations;
- more uniform multi-language operations; misc tuning and clarification;
- more uniform multi-language operations; clarified modules and signature;
- more operations (as in ML);
- more uniform multi-language operations; clarified modules and signature;
- more uniform multi-language operations;