otags


almahelp.pl,18
alma_help(14,324

aux.pl,24
next(4,61
then(12,167

compdate.pl,0

ctime2.pl,13
cdtime(7,85

ds.pl,0

handle_contra.pl,135
is_contra_node(11,336
is_old_contra(14,423
is_new_contra(22,638
pick_contra(36,1107
handle_contras(78,2719
handle_contra(86,2946

ir.pl,0

misc.pl,671
print_agenda(9,108
print_task(11,154
print_each(20,352
separate_signs(31,729
reverse_signs(37,956
print_antecedents(42,1076
print_consequents(49,1231
print_each(60,1502
print_assumptions(73,1913
strprint(85,2176
sprint_one(105,2628
sprint_antecedents(122,3352
sprint_consequents(129,3576
var2cons(152,4034
get_vars(156,4101
get_each_arg(169,4391
bind_vars(176,4541
t2s(184,4672
term2str(205,5090
term2strcom(260,6339
term2strlst(269,6592
pos_int(290,7194
pick_one(313,7854
gather_all(325,8161
gather_wheat(339,8650
all_bound(356,9102
compute_priority(363,9263
strip_heads(369,9358
merge_forms(378,9539
merge_form(386,9727
unrepeat(394,9929

nd.pl,55
get_predicates(11,238
gp(14,304
convert_form(36,775

toplevel.pl,166
set_agenda_number(95,2862
get_agenda_number(99,2947
runtime_entry(137,3720
handle_args(215,5258
handle_slave_arg(288,7240
dump_file(299,7451
real_laf(312,7649