| author | lcp |
| Thu, 12 Jan 1995 03:00:58 +0100 | |
| changeset 850 | a744f9749885 |
| parent 813 | 4a266c3d4cc0 |
| child 891 | a5ad535a241a |
| permissions | -rwxr-xr-x |
|
813
4a266c3d4cc0
qed is a utility that makes ML files store the defined theories in Isabelle's
clasohm
parents:
diff
changeset
|
1 |
foreach n (*ML) |
|
4a266c3d4cc0
qed is a utility that makes ML files store the defined theories in Isabelle's
clasohm
parents:
diff
changeset
|
2 |
qed $n $n:r.MLL |
|
4a266c3d4cc0
qed is a utility that makes ML files store the defined theories in Isabelle's
clasohm
parents:
diff
changeset
|
3 |
mv $n $n:r.bak |
|
4a266c3d4cc0
qed is a utility that makes ML files store the defined theories in Isabelle's
clasohm
parents:
diff
changeset
|
4 |
mv $n:r.MLL $n |
|
4a266c3d4cc0
qed is a utility that makes ML files store the defined theories in Isabelle's
clasohm
parents:
diff
changeset
|
5 |
end |