| author | nipkow |
| Fri, 02 Nov 2007 08:59:15 +0100 | |
| changeset 25261 | 3dc292be0b54 |
| parent 24881 | 711142251c81 |
| child 29606 | fedb8be05f24 |
| permissions | -rw-r--r-- |
|
24881
711142251c81
Dummy session with outer syntax keyword initialization.
wenzelm
parents:
diff
changeset
|
1 |
(* Title: Pure/ProofGeneral/proof_general_keywords.ML |
|
711142251c81
Dummy session with outer syntax keyword initialization.
wenzelm
parents:
diff
changeset
|
2 |
ID: $Id$ |
|
711142251c81
Dummy session with outer syntax keyword initialization.
wenzelm
parents:
diff
changeset
|
3 |
Author: Makarius |
|
711142251c81
Dummy session with outer syntax keyword initialization.
wenzelm
parents:
diff
changeset
|
4 |
|
|
711142251c81
Dummy session with outer syntax keyword initialization.
wenzelm
parents:
diff
changeset
|
5 |
Dummy session with outer syntax keyword initialization. |
|
711142251c81
Dummy session with outer syntax keyword initialization.
wenzelm
parents:
diff
changeset
|
6 |
*) |
|
711142251c81
Dummy session with outer syntax keyword initialization.
wenzelm
parents:
diff
changeset
|
7 |
|
|
711142251c81
Dummy session with outer syntax keyword initialization.
wenzelm
parents:
diff
changeset
|
8 |
ProofGeneral.init_outer_syntax (); |
|
711142251c81
Dummy session with outer syntax keyword initialization.
wenzelm
parents:
diff
changeset
|
9 |