prueba con esto
Código PHP:
function BTNbuscar(){
mysql_connect('localhost', 'root', '') or die(mysql_error());
mysql_select_db("biblioteca") or die (mysql_error());
$qry="select * from usuarios where matricula = '".$_POST['TXTmatricula']."'";
$res=mysql_query($qry) or die (mysql_error());
if (mysql_num_rows($res)>0){
$qry=mysql_fetch_array($res);
echo '
<form action="" method="post">
<div align="center">
<h1 align="center"><fieldset><legend class="style2">USUARIOS</legend>
<label><span class="style3">MATRICULA</span></label>
<span class="style3">
</span>
<p class="style3">
<label>NOMBRE</label>
<input name="TXTnombre" type="text" value = "'.$qry[1].'"/>
<input name="BTNbuscar" type="submit" value="BUSCAR" align="right"/>
<p class="style3">
<label>APELLIDO PATERNO</label>
<input name="TXTapaterno" type="text" value = "'.$qry[2].'"/><p class="style3">
<label>APELLIDO MATERNO</label>
<input name="TXTamaterno" type="text" value = "'.$qry[3].'"/><p class="style3">
<label>CARRERA</label>
<input name="TXTcarrera" type="text" value = "'.$qry[4].'"/><p class="style3">
<label>SEMESTRE</label>
<input name="TXTsemestre" type="text"value = "'.$qry[5].'"/>
<p class="style3">
<BR><BR>'
saludos.