edu.tum.cs
Tools for setting up an Isabelle installation.
Tools for setting up an Isabelle installation. Most functions in this package have some effect on the local file system and may download content from the Internet.