diff options
| author | Pierre Courtieu | 2000-09-29 13:39:31 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2000-09-29 13:39:31 +0000 |
| commit | 331720e77ccaec6c18b2770b22d8d7419696b51b (patch) | |
| tree | 093ae0cb2514c0f2ad01ffb268e5366052d5c732 /hol98/example.sml | |
| parent | 72ea2bfb9bd301c8b168e0c5b8bdab7bf4d3461c (diff) | |
a little change in coq/x-symbol, nothing
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions