![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2pc.maude | 2021-09-21 12:26 | 7.5K | |
| abp.maude | 2021-09-21 12:26 | 8.5K | |
| assoc-list.maude | 2021-09-21 12:26 | 1.1K | |
| binary.maude | 2021-09-21 12:26 | 137 | |
| bintree-ind-proof.maude | 2021-09-21 12:26 | 337 | |
| bintree.maude | 2021-09-21 12:26 | 2.8K | |
| blackjack-rules.maude | 2021-09-21 12:26 | 15K | |
| boolean.maude | 2021-09-21 12:26 | 432 | |
| boolean1.maude | 2021-09-21 12:26 | 355 | |
| checkTaut.maude | 2021-09-21 12:26 | 330 | |
| choose.maude | 2021-09-21 12:26 | 319 | |
| chrisMuslim.maude | 2021-09-21 12:26 | 3.4K | |
| clock.maude | 2021-09-21 12:26 | 13K | |
| coffee-beans.maude | 2021-09-21 12:26 | 1.1K | |
| concurrent-account.maude | 2021-09-21 12:26 | 2.1K | |
| core-maude-2pc.maude | 2021-09-21 12:26 | 15K | |
| core-maude-nspk.maude | 2021-09-21 12:26 | 33K | |
| dealer-must-hit-soft-17.maude | 2021-09-21 12:26 | 9.7K | |
| dealer-stands-on-all-17.maude | 2021-09-21 12:26 | 9.7K | |
| extended-population.maude | 2021-09-21 12:26 | 1.9K | |
| full-maude26.maude | 2021-09-21 12:26 | 827K | |
| functional-traveling-salesman.maude | 2021-09-21 12:26 | 4.6K | |
| hamiltoniaCirc.maude | 2021-09-21 12:26 | 3.0K | |
| hanoi.maude | 2021-09-21 12:26 | 1.0K | |
| less-than.maude | 2021-09-21 12:26 | 241 | |
| list-nat1.maude | 2021-09-21 12:26 | 4.6K | |
| list.maude | 2021-09-21 12:26 | 2.2K | |
| lpo.maude | 2021-09-21 12:26 | 7.0K | |
| mc-mutex-loop.maude | 2021-09-21 12:26 | 4.9K | |
| mc-person.maude | 2021-09-21 12:26 | 2.1K | |
| mc-token-ring-mutex.maude | 2021-09-21 12:26 | 3.3K | |
| mergesort.maude | 2021-09-21 12:26 | 789 | |
| messages.maude | 2021-09-21 12:26 | 1.9K | |
| model-check-phil.maude | 2021-09-21 12:26 | 7.5K | |
| model-check-philv3-2.maude | 2021-09-21 12:26 | 9.3K | |
| modified-quicksort.maude | 2021-09-21 12:26 | 1.1K | |
| mset-int.maude | 2021-09-21 12:26 | 2.4K | |
| multicast.maude | 2021-09-21 12:26 | 588 | |
| mutex-loop.maude | 2021-09-21 12:26 | 3.1K | |
| mutex.maude | 2021-09-21 12:26 | 3.1K | |
| my-own-leader-election.maude | 2021-09-21 12:26 | 5.8K | |
| nat-add.maude | 2021-09-21 12:26 | 232 | |
| nat-ind-proof.maude | 2021-09-21 12:26 | 655 | |
| nat-mult.maude | 2021-09-21 12:26 | 465 | |
| nat1.maude | 2021-09-21 12:26 | 1.7K | |
| nat2.maude | 2021-09-21 12:26 | 1.4K | |
| nelist-nat1.maude | 2021-09-21 12:26 | 4.2K | |
| nfl.maude | 2021-09-21 12:26 | 2.2K | |
| no-intr-protocol.maude | 2021-09-21 12:26 | 17K | |
| noOfBehaviors.maude | 2021-09-21 12:26 | 504 | |
| nspk.maude | 2021-09-21 12:26 | 16K | |
| old-abp.maude | 2021-09-21 12:26 | 7.1K | |
| oo-core-maude.maude | 2021-09-21 12:26 | 2.9K | |
| parameterized-mergesort.maude | 2021-09-21 12:26 | 1.7K | |
| person.maude | 2021-09-21 12:26 | 1.6K | |
| phil.maude | 2021-09-21 12:26 | 7.2K | |
| quicksort.maude | 2021-09-21 12:26 | 1.0K | |
| ring-leader-election.maude | 2021-09-21 12:26 | 1.6K | |
| roman-numerals.maude | 2021-09-21 12:26 | 948 | |
| searchTree.maude | 2021-09-21 12:26 | 1.9K | |
| seqNoUnrelComm.maude | 2021-09-21 12:26 | 5.9K | |
| set.maude | 2021-09-21 12:26 | 1.0K | |
| simplified-maekawa.maude | 2021-09-21 12:26 | 3.7K | |
| slidingWindow.maude | 2021-09-21 12:26 | 26K | |
| soccer.maude | 2021-09-21 12:26 | 1.4K | |
| sort.maude | 2021-09-21 12:26 | 256 | |
| sorted-list-nat1.maude | 2021-09-21 12:26 | 806 | |
| subsetSum.maude | 2021-09-21 12:26 | 1.9K | |
| test-rew.maude | 2021-09-21 12:26 | 1.1K | |
| token-ring-mutex.maude | 2021-09-21 12:26 | 2.1K | |
| traveling-salesman.maude | 2021-09-21 12:26 | 5.1K | |
| turing-machine.maude | 2021-09-21 12:26 | 2.3K | |
| whiteboard.maude | 2021-09-21 12:26 | 715 | |
| wrongSizedSlidingWindow.maude | 2021-09-21 12:26 | 20K | |