Hi all,
currently there are two constants
op ^ :: 'b = nat = 'b
op ^^ :: 'b = nat = 'b
making it a bit difficult for the user to choose the correct one in all
situations. As far as I see op ^^ is just syntax for the overloaded
compow. Shouldn't it be possible to unify this (and also relpow)
On Fri, 16 Mar 2012, Florian Haftmann wrote:
* The set story:
https://isabelle.in.tum.de/community/Having_%27a_set_back Not everything
mentioned there is an ultimate need, but we should strive to pick as
many fruits as we can from the set type constructor – the more likely
this will
Hi,
When the JDK is not given in the PATH variable, the command isabelle
jedit may fail with
./build-jars: line 189: jar: command not found
This is at least the case for hg id 08c22e8ffe70.
The problem occurs with Cygwin where the JDK is provided as a
component in the Isabelle bundle
