Open ghost opened 9 years ago
The bootstrap files in the branch weirdnull do not compile:
weirdnull
* cannot evaluate theory because an exception occurred: null
There is a genuine error in the file equal.thy at line 54 column 22, where "T" is used rather than "⊤". The null error disappears when this is fixed.
equal.thy
The bootstrap files in the branch
weirdnulldo not compile:There is a genuine error in the file
equal.thyat line 54 column 22, where "T" is used rather than "⊤". The null error disappears when this is fixed.