| author | clasohm |
| Fri, 03 Feb 1995 12:32:14 +0100 | |
| changeset 891 | a5ad535a241a |
| parent 813 | 4a266c3d4cc0 |
| child 920 | b162fe4ae444 |
| permissions | -rwxr-xr-x |
| 891 | 1 |
#!/bin/csh |
|
813
4a266c3d4cc0
qed is a utility that makes ML files store the defined theories in Isabelle's
clasohm
parents:
diff
changeset
|
2 |
foreach n (*ML) |
|
4a266c3d4cc0
qed is a utility that makes ML files store the defined theories in Isabelle's
clasohm
parents:
diff
changeset
|
3 |
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
|
4 |
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
|
5 |
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
|
6 |
end |