examples - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
d---------	RDF	34	log plain
d---------	SUMO	2394	log plain
d---------	animals	458	log plain
d---------	attempto	1212	log plain
d---------	bronzeage	1538	log plain
d---------	category-theory	375	log plain
d---------	computer	318	log plain
d---------	dates	192	log plain
d---------	discourse	167	log plain
d---------	experiments	109	log plain
d---------	extmini	995	log plain
d---------	fracas	435	log plain
d---------	gadt-transfer	224	log plain
d---------	gfcc	518	log plain
d---------	gfm-format	73	log plain
d---------	graftals	188	log plain
d---------	grammar-terms	172	log plain
d---------	jem-math	461	log plain
d---------	letter	344	log plain
d---------	lrec-tutorial	823	log plain
d---------	mathtext	967	log plain
d---------	messages	123	log plain
d---------	miniresource	503	log plain
d---------	morpho	260	log plain
d---------	nlg	146	log plain
d---------	nqueens	154	log plain
d---------	numerals	3441	log plain
d---------	peacekeeping	665	log plain
d---------	phrasebook	4374	log plain
d---------	query	619	log plain
d---------	sammie	749	log plain
d---------	trigram	152	log plain
d---------	tutorial	303	log plain
d---------	typetheory	187	log plain