.. auction.adl basic_bank.adl board.adl bubblesort.adl core.adl fibonacci.adl groups.adl helloworld.adl interest.adl lottery.adl message.adl move.adl ntzdebruijn.adl ntzgaudet.adl ntzloops.adl ntzmasks.adl ntzreisers.adl ntzseals.adl ntzsearchtree.adl ntzsmallvals.adl simple_token.adl tictactoe.adl token.adl twoadicity.adl verify.adl vote.adl