Subversion Repositories TPPL


Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
87 2462d 11h neuper / follow-ups to meeting Munich 17/18.Feb  
86 2506d 13h neuper /paper/ removed old stuff from preparations.tex  
85 2509d 10h neuper /material/ notes from meeting 16.Feb: survey on representations  
84 2522d 10h haftmann /material/ less warty  
83 2522d 11h neuper /material/ conversion functions for npoly  
82 2522d 12h neuper /material/ tuned: finished mv files  
81 2522d 12h neuper / added space of discourse for polynomial representation to preparations.tex  
80 2524d 12h neuper /paper/ improved \S.1 of preparations.tex due to Florian's review  
79 2534d 06h haftmann /material/ naive representation of n-polynomials -- proof of concept  
78 2536d 04h haftmann /material/ some drafting to understand hierarchical and one-level representation  
77 2536d 07h haftmann /material/ identified pointless definition  
76 2537d 11h neuper / added Fig.'space of discussion for poly-representation'  
75 2549d 14h neuper /material/ Florian's comments on MultiPolynomial.thy  
74 2549d 14h neuper /material/ update to Isabelle2013-1  
73 2552d 12h neuper /paper/ copied build to paper/  
72 2552d 13h neuper /paper/ polished paper/preparations  
71 2568d 13h neuper / some notes in AD_Polynomial.thy  
70 2569d 19h schreine /material/ empty  
69 2569d 19h schreine /material/ empty  
68 2572d 16h schreine /material/ empty  

Show All