- Added extra flag to read_term and read_proof functions that allows to parse (proof)terms in which
all type variables have the top sort
- Adapted proof_of_term to handle proofs with explicit class membership proofs
2 norbert.schirmer@web.de schirmer
3 schirmer@in.tum.de schirmer
4 urbanc@in.tum.de urbanc
5 nipkow@lapbroy100.local nipkow
6 chaieb@chaieb-laptop chaieb
7 immler@in.tum.de immler
8 tsewell@rubicon.NSW.bigpond.net.au tsewell
9 tsewell@nicta.com.au tsewell