Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Admin/user-aliases
author berghofe
Tue, 01 Jun 2010 10:46:47 +0200
changeset 37227 bdd8dd217b1f
parent 34092 3a77e8862e59
child 40512 151fef652324
permissions -rw-r--r--
- 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
haftmann@29561 
     1
 
lcp paulson
haftmann@29554 
     2
 
norbert.schirmer@web.de schirmer
haftmann@34091 
     3
 
schirmer@in.tum.de schirmer
haftmann@29555 
     4
 
urbanc@in.tum.de urbanc
wenzelm@30491 
     5
 
nipkow@lapbroy100.local nipkow
wenzelm@30491 
     6
 
chaieb@chaieb-laptop chaieb
wenzelm@30491 
     7
 
immler@in.tum.de immler
wenzelm@32766 
     8
 
tsewell@rubicon.NSW.bigpond.net.au tsewell
wenzelm@32766 
     9
 
tsewell@nicta.com.au tsewell
wneuper/isa