Subversion Repositories TPPL

Rev

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

Filtering Options

Rev Age Author Path Log message Diff
58 2859d 09h neuper / finished presentation for Munich  
57 2860d 12h schreine / empty  
56 2860d 12h schreine / empty  
51 2868d 16h neuper / tuned  
50 2870d 17h neuper / NEW CA-->Isabelle keeping OLD versions, see README  
48 2926d 16h neuper / added 'arguments for proposal' to TPPL-present-munich.tex  
44 2943d 14h neuper / tuned presentation  
40 2944d 11h neuper / TPPL-present-munich revised wrt meeting WS+WN  
36 2944d 15h neuper / added Test_Cancel_Add.thy  
34 2947d 11h neuper / added a draft presentation for meeting in Munich