TODO
author schirmer
Fri, 05 Nov 2004 15:37:25 +0100
changeset 15273 771af451a062
parent 15139 58cd3404cf75
child 15310 7a5ded09f68b
permissions -rw-r--r--
* extended interface of record_split_simp_tac and record_split_simproc * improved record_type_abbr_tr'

For Isabelle2005:

- update course material slides to new theory format

- remove this file