more;
authorwenzelm
Sat Oct 15 00:08:15 2005 +0200 (2005-10-15)
changeset 17866511c906c66a3
parent 17865 5b0c3dcfbad2
child 17867 3368e5c72904
more;
CONTRIBUTORS
     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  ------------------------------