| * This software may be distributed and modified according to the terms of |
| * the GNU General Public License version 2. Note that NO WARRANTY is provided. |
| * See "LICENSE_GPLv2.txt" for details. |
| session CogentUtil = "Word_Lib" + |
| session "BilbyFsCode" (main) = CogentCRefinement + |
| description {* BilbyFs implementation *} |
| "impl/BilbyFs_Shallow_Desugar_Tuples" |
| session "BilbyFsConsts" = "BilbyFsCode" + |
| description {* BilbyFs consts *} |
| "impl/BilbyFs_ShallowConsts_Desugar_Tuples" |
| session BilbyFs = "BilbyFsConsts" + |
| session BilbyFsSync = "BilbyFs" + |
| session BilbyFsIget = "BilbyFs" + |
