changeset 28838 | d5db6dfcb34a |
parent 28762 | f5d79aeffd81 |
child 29716 | b6266c4c68fe |
child 30240 | 5b25fee0362c |
--- a/doc-src/IsarRef/IsaMakefile Tue Nov 18 18:22:49 2008 +0100 +++ b/doc-src/IsarRef/IsaMakefile Tue Nov 18 18:25:10 2008 +0100 @@ -25,7 +25,7 @@ Thy/Inner_Syntax.thy Thy/Introduction.thy Thy/Outer_Syntax.thy \ Thy/Spec.thy Thy/Proof.thy Thy/Misc.thy Thy/Document_Preparation.thy \ Thy/Generic.thy Thy/HOL_Specific.thy Thy/Quick_Reference.thy \ - Thy/ML_Tactic.thy + Thy/Symbols.thy Thy/ML_Tactic.thy @$(USEDIR) -s IsarRef HOL Thy