README
1+ ===================================================================== +
2| |
3| LIBRARY : unwind |
4| |
5| DESCRIPTION : derived inference rules for expanding and simplifying |
6| hardware structural specifications. |
7| |
8+ ===================================================================== +
9
10+ --------------------------------------------------------------------- +
11| |
12| FILES: |
13| |
14+ --------------------------------------------------------------------- +
15
16 src/unwinding.sml definitions of derived rules
17
18+ --------------------------------------------------------------------- +
19| |
20| TO REBUILD THE LIBRARY: |
21| |
22+ --------------------------------------------------------------------- +
23
24 1) You don't have to rebuild the library.
25
26
27+ --------------------------------------------------------------------- +
28| |
29| TO USE THE LIBRARY: |
30| |
31+ --------------------------------------------------------------------- +
32
33 Do a load_library{lib = unwind_lib, theory = "-"};
34