Subversion Repositories TPPL

Rev

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

Filtering Options

Rev Age Author Path Log message Diff
50 2870d 18h neuper / NEW CA-->Isabelle keeping OLD versions, see README  
47 2930d 15h neuper / tuned goals and deom-thy  
43 2943d 16h neuper / tuned  
42 2943d 16h neuper / streamlined definition of ML-fun in Test_Cancel_Add.thy  
41 2944d 11h neuper / test  
38 2944d 15h haftmann / more on theory  
36 2944d 16h neuper / added Test_Cancel_Add.thy