CONTRIBUTORS
changeset 17866 511c906c66a3
parent 17640 dca023dd6d3c
child 19470 3572af78f114
     1.1 --- a/CONTRIBUTORS	Sat Oct 15 00:08:14 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Sat Oct 15 00:08:15 2005 +0200
     1.3 @@ -1,3 +1,10 @@
     1.4 +
     1.5 +Contributions to Isabelle
     1.6 +-------------------------
     1.7 +
     1.8 +* October 2005: Martin Wildmoser, TUM
     1.9 +  Sketch for Isar 'guess' element.
    1.10 +  
    1.11  
    1.12  Contributions to Isabelle 2005
    1.13  ------------------------------