Joel de Guzman ed4206ee1b Fixes Ticket #5426 ...

[SVN r71026]

2011-04-06 04:55:57 +00:00

..

category_of.html

Fixes Ticket #5426

2011-04-06 04:55:57 +00:00

deduce_sequence.html

Fixes Ticket #5426

2011-04-06 04:55:57 +00:00

deduce.html

Fixes Ticket #5426

2011-04-06 04:55:57 +00:00

is_sequence.html

Fixes Ticket #5426

2011-04-06 04:55:57 +00:00

is_view.html

Fixes Ticket #5426

2011-04-06 04:55:57 +00:00

pair.html

Fixes Ticket #5426

2011-04-06 04:55:57 +00:00

tag_of.html

Fixes Ticket #5426

2011-04-06 04:55:57 +00:00