Subversion Repositories TPPL

Rev

Show changed files | Details | Compare with Previous | Blame | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
59 2615d 12h neuper / started with preparations for a paper on
"Isabelle's Polynomials for the Working Mathematician"
 
50 2870d 18h neuper / NEW CA-->Isabelle keeping OLD versions, see README