| author | lcp |
| Fri, 13 Jan 1995 02:02:00 +0100 | |
| changeset 863 | 67692db44c70 |
| 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 |