6 commits

Author	SHA1	Message	Date
Dominik Pantůček	4893d1e7d5	Unify finders naming.	2023-04-13 20:02:28 +02:00
Dominik Pantůček	503fbcd574	Rename mbase file, module and dependencies.	2023-04-12 22:40:20 +02:00
Dominik Pantůček	4bd6837e08	Regular predicates.	2023-04-11 22:32:07 +02:00
Dominik Pantůček	6b5821ac2e	Finish module renaming.	2023-04-11 21:52:38 +02:00
Dominik Pantůček	0d649c2fd0	Finish the migration.	2023-04-09 20:39:59 +02:00
Dominik Pantůček	69d0b8ee10	Move sources to separate directory.	2023-04-01 09:45:46 +02:00

Renamed from cards.scm (Browse further)