diff options
| author | Makarius Wenzel | 2008-06-14 17:16:23 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2008-06-14 17:16:23 +0000 |
| commit | 41fc4493a96c8a66971d293b557ba9903bf9c053 (patch) | |
| tree | 574f9c8f375204cc2ef11e1c04e53f21cfae079d /etc/isa/depends/Usedepends.thy | |
| parent | faea8019ff496be6b5bf49f8257117fb1bddacef (diff) | |
obsolete;
Diffstat (limited to 'etc/isa/depends/Usedepends.thy')
| -rw-r--r-- | etc/isa/depends/Usedepends.thy | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/etc/isa/depends/Usedepends.thy b/etc/isa/depends/Usedepends.thy deleted file mode 100644 index 4f8eb516..00000000 --- a/etc/isa/depends/Usedepends.thy +++ /dev/null @@ -1,5 +0,0 @@ -(* dummy theory to load depends.ML *) -theory Usedepends = Main: -end - - |