Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
TODO
author berghofe
Mon, 23 Aug 2004 18:35:11 +0200
changeset 15159 2ef19a680646
parent 15139 58cd3404cf75
child 15310 7a5ded09f68b
permissions -rw-r--r--
begin_theory now takes optional path (current directory) as argument.
This is needed for locating *.ML files connected with theories.
kleing@15139 
     1
 
For Isabelle2005:
kleing@15139 
     2
 






kleing@15139


     3


- update course material slides to new theory format







kleing@15139


     4








kleing@15139


     5


- remove this file













wneuper/isa