16 lines
293 B
INI
16 lines
293 B
INI
|
%% sources.cfg - Twelf configuration file for Peano Arithmetic
|
||
|
|
%%
|
||
|
|
%% Load this file with: twelf-server < sources.cfg
|
||
|
|
%% Or in Twelf server: Config.read "sources.cfg"
|
||
|
|
%%
|
||
|
|
%% The files must be loaded in dependency order.
|
||
|
|
|
||
|
|
nat.elf
|
||
|
|
add.elf
|
||
|
|
mult.elf
|
||
|
|
exp.elf
|
||
|
|
order.elf
|
||
|
|
div.elf
|
||
|
|
prime.elf
|
||
|
|
theorems.elf
|